Kamu bisa jelasin ke aku soal Prolog dalam bahasa melayu?

PROLOG (Sains komputer) ialah bahasa pengaturcaraan komputer yang berlandaskan 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.