Библиографический список
1. Братко И. Программирование на языке Пролог для
искусственного интеллекта. – М.: Мир, 1990.
2. Стерлинг Л., Шапиро Э. Искусство программирования на
языке Пролог. – М.: Мир, 1990.
3. Метакидес Г., Нероуд А. Принципы логики и логического
программирования. – М.: Факториал, 1998
4. Хоггер К. Введение в логическое программирование. – М.:
Мир, 1988.
5. Ин Ц., Соломон Д. Использование Турбо-Пролога. – М., 1990.
6. Марсуллус Д. Программирование на языке пролог для
искусственного интеллекта, М.: Мир, 1994
7. Абилов В. Г., Зинченко Н. И. Turbo и Arity: два подхода к
логическому программированию // «Мир ПК». 1990. – №2, 3.
8. Чень Ч., Ли Р. Математическая логика и автоматическое
доказательство теорем. – М.: Наука, 1983.
9. Nilsson U., Maluszynski J., Logic, Programming and Prolog, 2
end., John Wiley and Sons, 1995.