Obsah

Prolog

Prolog

Principy

Programy jsou ze 2 častí:

Hornovy klauzule sa vyskytují ve 2 variantách:

Struktura

Vyhodnocování

Unifikace

Robinsonův unifikační algoritmus

Vestavěné predikáty

Operátor řezu

Cut (logic programming)

Správné použití:

Nesprávné použití: