Prolog
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.
Contoh: sukahati(X): - kaya(X). sukahati(X): - suka(zarina,X). suka(zarina,X): - suka(X,zarina),baik(X). suka(zarina,X): - segak(X),gagah(X). suka(johan,X): - cantik(X). cantik(zarina). baik(johan). segak(johan). gagah(johan). ?- sukahati(johan). Perhatikan bahawa menggunakan set hukum-hukum dan penerapan-penerapan yang ada (yang dikatakan
pangkalan pengetahuan), sasaran lain boleh dikenakan dengan langsung.
Contoh: ?- sukahati(X).