0 оценок0% нашли этот документ полезным (0 голосов)
97 просмотров53 страницы
Logical basis of Prolog programming language is presented. Concepts of Propositional and Predicate logic are explained. Class of Horn formulas is defined and their role in Prolog is shown. Main mechanisms of prolog-machine are unification for atomic formulas and search-for-solution procedure.
Logical basis of Prolog programming language is presented. Concepts of Propositional and Predicate logic are explained. Class of Horn formulas is defined and their role in Prolog is shown. M…