История создания и основные этапы развития языка программирования Пролог. Источники создания программы: логика предикатов 1-го порядка, теория рекурсивных функций, методы логического вывода. Сущность констант и переменных. Отличия от Visual Prolog.
Аннотация к работе
К стандартным (встроенным) доменам относятся целые типы: integer-unsigned, long - ulong, short - ushort, sbyte - byte; real (аналогичен типу double в С); char (байт без знака - символ в одинарных кавычках - "a"); string; symbol; binary; ref (для добавления термов в базу данных Пролога). Тип symbol реализуется как ссылка на внутреннюю symbol-таблицу, хранящую все строки, используемые в программе на Прологе. Эти примеры подчеркивают, что синтаксически одинаковая запись в Прологе может быть использована как для представления сложного объекта - структуры, так и для представления отношения между объектами или описания свойств объектов (т.е. унарных отношений). Правила унификации: число сопоставляется только с равным ему числом, атом сопоставляется только с равным ему атомом, переменная сопоставляется с любым объектом и получает значение того, с чем сопоставляется, структура сопоставляется с другой структурой, если число их компонент и функторы (имена) совпадают, а компоненты попарно сопоставимы.
Список литературы
1. Клоксин У., Меллиш К. Программирование на языке Пролог. - М.: Мир, 1987.
2. Братко И. Программирование на языке Пролог для искусственного интеллекта. - М.: Мир, 1990.