Логическое программирование на языке Visual Prolog. Солдатова О.П - 26 стр.

UptoLike

ВУЗ: 

СГАУ | Самара

Составители: 

Рубрика: 

26
Поэтому, правило можно считать аналогом оператора case в
Паскале.
3. В правиле может быть выполнено сравнение, как в условных
операторах.
4. Отсечение можно считать аналогом go to.
5. Возврат вычисленного значения производится аналогично
процедурам. В Прологе это делается путем связывания
свободных переменных при сопоставлении цели с фактами и
правилами.
2.8 Структура
программ Пролога.
Программа, написанная на Прологе, состоит из шести основных
разделов: раздел описания доменов, раздел базы данных, раздел описания
предикатов, раздел описания предложений и раздел описания цели.
Ключевые слова domains, constants, facts (database), predicates, clauses и goal
отмечают начала соответствующих разделов. Назначение этих разделов
таково:
• раздел domains содержит объявления доменов, которые описывают
различные типы данных, используемых
в программе, если в
программе не требуется объявления доменов, то этот раздел может
быть опущен;
• раздел constants используется для объявления символических
констант, используемых в программе, если в программе не
требуется объявления символических констант, то этот раздел
может быть опущен;
• раздел facts (database) содержит описания предикатов внутренней
базы данных Пролога, если
программа такой базы данных не
требует, то этот раздел может быть опущен;
• раздел predicates служит для описания предикатов, не
принадлежащих внутренней базе данных, если в программе не
требуется объявления предикатов, то этот раздел может быть
опущен;
• в раздел clauses заносятся факты и правила самой программы, если в
программе используются
только встроенные предикаты, то этот
раздел может быть опущен;
• в разделе goal на языке Пролог формулируется назначение
создаваемой программы. Данный раздел программы является
обязательным. Составными частями при этом могут являться некие
подцели, из которых формируется единая цель программы.
В Visual Prolog разрешает объявление разделов domains, facts,
predicates, clauses как глобальных разделов, то есть
с ключевым словом
global.
Пролог имеет следующие встроенные типы доменов:

Страницы