Prolog — один из наистарейших и более фаворитных языков логического программирования

Содержание

Введение 2

1. Посадка задачи 4

2. Разработка алгоритма 5

3. Отображение предикатов 7

4. Ревизорский пример 8

Заключение 11

Перечень литературы 12

Приложение 13

Выдержка

Введение

Prolog был сотворен в 1972 с целью соединять внедрение логики с представлением познаний. С тех времен у него возник разряд диалектов, расширяющих базу языка разными способностями.

Prolog — один из наистарейших и все ещё один из более фаворитных языков логического программирования, желая он существенно наименее известен, чем главные императивные языки. Он употребляется в системах отделки натуральных языков, исследованиях искусственного разума, экспертных системах, онтологиях и остальных предметных областях, для которых несомненно внедрение логической парадигмы.

Prolog был сотворен под воздействием наиболее ранешнего языка Planner и одолжил из него последующие идеи:

• обратный логичный вывод(вызов процедур сообразно шаблону, исходя из целей);

• построение конструкция правящей логики в облике вычислений с откатами;

• принцип “отрицание как неудача”;

• использование различных имен для различных сущностей и т. д.

Ключевой парадигмой, реализованной в языке Prolog, является логическое программирование. Как и для большинства старенькых языков, наиболее поздние реализации, к примеру, Visual Prolog, прибавляют в язычок наиболее поздние парадигмы, к примеру, объектно-ориентированное либо управляемое событиями программирование, время от времени даже с веществами императивного манеры.

Prolog употребляет один тип данных, терм, который случается нескольких типов:

атом — фамилия без особенного значения, применяемое для построения составных термов;

числа и строчки такие же, как и в остальных языках;

переменная обозначается именованием, начинающимся с обыкновенный буквы, и употребляется как символ-заполнитель для хоть какого иного терма;

составной терм состоит из атома-функтора, за которым следует некоторое количество доводов, любой из которых в свою очередность является ато-мом.

Програмки, написанные на чистом Prolog, обрисовывают дела меж обрабатываемыми сущностями при поддержке клауз Хорна. Клауза — это формула вида Башка:- Тело. , которая читается как “чтобы доказать/решить Голову, следует доказать/решить Тело”. Тело клаузы состоит из нескольких предикатов(целей клаузы), скомбинированных с поддержкой конъюнкции и дизъюнкции. Клаузы с порожним телом именуются фактами и эквивалентны клаузам вида Башка:- true. (true — не атом, как в остальных языках, а интегрированный предикат).

Иной принципиальной долею Prolog являются предикаты. Унарные предикаты выражают характеристики их доводов, тогда как предикаты с несколькими доводами выражают дела меж ними. Разряд интегрированных предикатов языка исполняют ту же роль, что и функции в остальных языках, к примеру, ….

Предикаты с несколькими доводами имеют все шансы делать в нескольких направленностях в зависимости от такого, какие из доводов уже соединены, а какие — недостает. К примеру, ….

В конце концов, для такого, чтоб существовать языком всеобщего назначения, Prolog обязан давать разряд сервисных функций, к примеру, процедур ввода/вывода. Они реализованы как предикаты без особого логического значения, какие постоянно оцениваются как настоящие и исполняют свои сервисные функции как сторонний результат оценивания.

Целью исполнения програмки на Prolog является просчитывание 1-го целевого предиката. Имея этот предикат и комплект верховодил и фактов, данных в програмке, Prolog пробует отыскать привязки(смысла)переменных, при которых целевой предикат воспринимает смысл истинности.

В курсовой работе Prolog станет применен для написания логической забавы «Суммируйте по 20».

Литература

1. Братко И. «Программирование на языке ПРОЛОГ для искусственного интеллекта». – М. : «МИР», 1990. – 560 с.

2. Батырь А. Ю. , Герр Р. Г. Комп обретает интеллект Пер. с англ. - М. : Мир, 1990. - 238 с. : ил.

3. Малпас Дж. Реляционный язычок Пролог и его использование: Пер. с англ. /Под редакцией В. Н. Соболева. - М. : Дисциплина. Гл. ред. физ. -мат. лит. , 1990. - 464 с.

Больше работ по теме: