Включает лабораторные работы, охватывающие решение таких задач, как упрощение булевой формулы, логический вывод, оптимизация, прогнозирование, семантический разбор, диагностика, классификация.

Методические указания содержат сведения об основах работы в системе “Visual Prolog”, описание разделов и синтаксических единиц программы, примеры использования простых и составных термов, работу со списками, набор заданий для самостоятельного решения.