Perbezaan antara semakan "Prolog"

21 bait ditambah ,  11 tahun lalu
tiada ringkasan suntingan
'''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.
Pengguna awanama