2015-07-14
171
ББК 32.973.233-018я7
© Белгородский государственный технологический университет (БГТУ) им. В.Г. Шухова, 2007
Содержание
Введение
Предположим, что известна логическая спецификация, описывающая подлежащую решению задачу или структуру системы, которую необходимо представить. При использовании процедурного языка требуется проведение большой работы по переводу спецификации сложной системы в работоспособную программу. При использовании функциональных языков программист может мыслить в терминах вычисления значений, а не поведения компьютера. Семантика конструкций реляционных языков наиболее близка к спецификации задачи. Смысл конструкции в реляционном языке определяется как отношение между отдельными сущностями или классами сущностей. С декларативной точки зрения реляционную конструкцию можно интерпретировать как формулировку того, что существует отношение между аргументами, представленное именем этого отношения. Одним из реляционных языков является Пролог. При должном использовании языка Пролог взгляд программиста на мир может подняться до уровня логической спецификации. Если программист сможет мыслить целиком в терминах структуры отношений, не заботясь о реализации, то у него освободится время для более важных целей. Пролог – наиболее известный язык логического программирования. Логическое программирование – это один из подходов к информатике, при котором в качестве языка высокого уровня используется логика предикатов первого порядка в форме фраз Хорна. Логика предикатов первого порядка – это универсальный абстрактный язык, предназначенный для представления знаний и для решения задач. Его можно рассматривать как общую теорию отношений. Логическое программирование дает возможность описывать ситуацию при помощи формул логики предикатов, а затем для выполнения выводов из этих формул применить автоматический решатель задач.
Язык Пролог можно успешно использовать как для решения многих традиционных задач (программная инженерия, интерфейсы баз данных, системы помощи в принятии решений), так и для решения задач искусственного интеллекта (экспертные системы, системы обработки естественного языка).
Лабораторная работа № 1
Факты и правила
Цель работы: познакомиться с синтаксисом и семантикой основных понятий языка Пролог; научиться оформлять отношения между данными на языке Пролог.
