Автор работы: Пользователь скрыл имя, 20 Января 2014 в 20:15, лабораторная работа
Языки типа Бейсик – императивные, в них команды определяют действия, которые необходимо выполнить исполнителю алгоритма [Кларк К., Маккейб Ф. Введение в логическое программирование на микро - Прологе.- М. Радио и связь, 1987.-312 с.] Дескриптивные (декларативные) языки определяют набор отношений или функций, которые должны быть выполнены.
?УМНОЖЕНИЕ(2,3,1,x). (<Enter>)
ответ системы:
x=7
Реализация деления x=z/y.
ДЕЛЕНИЕ(z,y,x):-УМНОЖЕНИЕ(x,y,
Реализация вычитания x=y-z.
ВЫЧИТАНИЕ(y,z,x):-СЛОЖЕНИЕ(x,
В данных случаях во встроенных предикатах переменные как бы перевернуты на оборот.
П2. Графические возможности «Пролог-Д».
Они предназначены для выполнения вывода графики и других подобных операций. Встроенные предикаты, если они записаны в вопросе, должны выполняться одинаково, независимо от того, записана в память машины база знаний или нет, и какая это база знаний. В определенном смысле это напоминает непосредственный режим работы в языке БЕЙСИК. Например, если необходимо построить на экране отрезок, соединяющий две точки с координатами (10,10) и (200, 200), то достаточно задать вопрос:
?ЗАПИСЬ_В(“grp:”),ЛИНИЯ(10,10,
Графические возможности «Пролог-Д» более подробно описаны в файле помощи – кнопка или окно Помощь, Язык, Встроенные предикаты, Графика .
ЗаданиеП2.1: введите вышеуказанное выражение и запустите его. Требуемый отрезок появится на экране. Дополнительно ниже начертите три параллельных линии разного цвета, а также нарисуйте крест (две пересеченные линии разного цвета).
Примечание: используйте файл помощи – кнопка или окно Помощь, Язык, Встроенные предикаты, Графика .
Упражнение: Попробуйте набрать вопрос:
?ЛИНИЯ(x, 10, 100, 100, 1). (<Enter>).
Объясните результат и запишите исходный текст (задание) упражнения.
Результат представить преподавателю.
Информация о работе Логическое программирование на языке пролог-д