«Ознакомление со средой программирования Visual Prolog 5.2. Логический вывод и логическое следствие. Унификация и сопоставление».Содержит кратко теорию и выполненую лабораторную работу.