Jabarkan Contoh: dari Prolog dalam bahasa melayu

Perhatikan bahawa menggunakan set hukum-hukum dan penerapan-penerapan yang ada (yang dikatakan pangkalan pengetahuan), sasaran lain boleh dikenakan dengan langsung.

Hukum-hukum dalam Prolog terhad kepada klausa-klausa Horn, yang mempunyai satu dan hanya satu kepala. Ini membolehkan hukum-hukum ini ditafsirkan juga sebagai fungsi atau tatacara. Dengan ini kedudukan sesuatu kenyataan dalam aturcara (aturan kenyataan ditangani) menjadi penting.