Структура программы на Прологе.
Структура программы на Прологе. Структура программы на Прологе отличается от структуры программы, написанной на процедурном языке. Пролог-программа является собранием правил и фактов. Решение задачи достигается интерпретацией этих правил и фактов. При этом пользователю не требуется обеспечивать детальную последовательность инструкций, чтобы указать, каким образом осуществляется управление ходом вычислений на пути к результату. Вместо этого он только определяет возможные решения задачи и обеспечивает программу фактами и правилами, которые позволяют ей отыскать требуемое решение.
Во всех других отношениях Пролог не отличается от традиционных языков программирования. Как и в случае программы написанной на любом другом языке, Пролог-программа предназначена для решения отдельной задачи.
Prolog использует один тип данных, терм, который бывает нескольких типов: атом — имя без особого смысла, используемое для построения составных термов; числа и строки такие же, как и в других языках; переменная обозначается именем, начинающимся с прописной буквы, и используется как символ-заполнитель для любого другого терма; составной терм состоит из атома-функтора, за которым следует несколько аргументов, каждый из которых в свою очередь является атомом.
|
