Логическое программирование на языке пролог-д
Лабораторная работа, 20 Января 2014, автор: пользователь скрыл имя
Краткое описание
Языки типа Бейсик – императивные, в них команды определяют действия, которые необходимо выполнить исполнителю алгоритма [Кларк К., Маккейб Ф. Введение в логическое программирование на микро - Прологе.- М. Радио и связь, 1987.-312 с.] Дескриптивные (декларативные) языки определяют набор отношений или функций, которые должны быть выполнены.