Все шпаргалки / Логическое программирование / 

Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели.

Указывается вопрос (цель), на который должен ответить Пролог. 1) Цель может быть внутренней и внешней (Отличия в том, что при использовании внешней пролог ищет все решения, а внутренней только первое). 2) Отправная точка логического вывода. 3) На любой запрос пролог будет пытаться дать ответ «yes» или «no», если решений нет, то ("No solution"). Запросы (цели ) 2 типа: 1 тип: Подтвердить справедливость факта или совокупность фактов. На запросы такого типа система выдает ответ «да» или «нет». 2 тип: В записях таких вопросов используют переменные – последовательности символов русского или латинского алфавитов, начинающихся с прописной буквы или символа «_». В качестве ответов выводятся значения переменных, удовлетворяющих информации в БЗ. Переменные: Обязательно начинается с прописной буквы Крайне желательно использовать осмысленные имена переменных. Анонимная переменная: Анонимной переменной называют знак подчёркивания «_»; Она используется когда конкретное значение переменной несущественно.