Blackburn P. Learn Prolog Now!

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 стр. о ПРОЛОГЕ с примерами листинга программ и подробными комментариями (для знающих английский)!