Prolog: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
Tiada ringkasan suntingan |
Tiada ringkasan suntingan |
||
Baris 1:
'''PROLOG''' (''Sains komputer'') ialah [[bahasa pengaturcaraan]] komputer yang berlandaskan [[Logik#Logik Predikat|logik peringkat pertama]] atau logik predikat, dengan penegatifan sebagai kegagalan ('andaian dunia tertutup'). Ia adalah implementasi terawal konsep [[pengaturcaraan logik]], yang dipelopori [[Robert Kowalski]] dan lain-lain. Dengan itu, ia digolongkan sebagai suatu bahasa isytiharan.
Suatu aturcara dalam Prolog mempunyai satu sasaran, dan kenyataan-kenyataan lain yang mewakili hukum-hukum dan penerapan-penerapan bagi masalah berkenaan. Perjalanan aturcara mencari penyelesaian logik kepada sasaran berkenaan yang memuaskan hukum-hukum dan penerapan-penerapan yang diberikan.
| |||