Facts, Rules, and Queries. Prolog Syntax. Matching and Proof
Search. Recursion. Lists. Arithmetic. More Lists. Definite Clause
Grammars. More Definite Clause Grammars. A Closer Look at Terms.
Cuts and Negation. Database Manipulation and Collecting Solutions.
Working With Files. 2001 г. - 12 глав 184 стр. о ПРОЛОГЕ с
примерами листинга программ и подробными комментариями (для знающих
английский)!