Презентация на тему Основы языка Visual Prolog

"работает" мышление, и она проще, чем арифметика, которой вы

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

- любит
правила (rules) -Билл любит собак, если собаки хорошие

фактом (fact).
Состоит из имени:
отношения
объекта или объектов, заключенных в

круглые скобки
завершается точкой (.)
likes (bill, cindy). - Билл любит Синди.
likes (cindy, bill). - Синди любит Билла.
likes (bill, dogs). - Билл любит собак.

оно истинно, если одно или несколько других найденных заключений

или фактов являются истинными.
likes(cindy, Something):- likes(bill, Something). - Синди любит все, что любит Билл.
likes (caitlin, Something):- green(Something). - Кейтлин любит все зеленое.
Символ : - имеет смысл "если", и служит для разделения двух частей правила: заголовка и тела.

вопросы, касающиеся отношений между ними. Это называется запросом (query)

системы языка Пролог.
likes(bill, cindy).
likes(bill, What).
likes(cindy, What).

факты и правила:
Быстрая машина - приятная. (A fast car

is fun).
Большая машина — красивая. (A big car is nice).
Маленькая машина — практичная. (A little car is practical).
Биллу нравится машина, если она приятная. (Bill likes a car if the car is fun).

Prolog запустите ее утилитой Test Goal.

общие факты и правила и задавать общие вопросы.
Начинаются

с заглавной буква (What, Something, X и т.д.)

свойство объекта, либо отношение между объектами. Факт самодостаточен. Прологу

не требуется дополнительных сведений для подтверждения факта, и факт может быть использован как основа для логического вывода.
Правило - это конструкция Пролога, которая описывает, что можно логически вывести из других данных. Правило — это свойство или отношение, которое достоверно, когда известно, что ряд других отношений достоверен. Синтаксически эти отношения разделены запятыми.

разделе GOAL:
Что может купить Келли?
Что может купить Джуди?
Кто может

купить hot-rod?
Кто может купить машину?

которые связываются этим отношением;
в факте likes (bill, cindy)

отношение likes — это предикат, а объекты bill и cindy — аргументы.

теннис, можно использовать переменные - likes(X, tennis).


правильные имена переменных:
My_first_correct_variable_naitie
Sales_10_ll_86


неправильные:
lstattempt
second_attempt
"disaster"

константами в фактах или правилах.

Нельзя сохранить информацию, присвоив значение

переменной. Переменные используются как часть процесса поиска решения, а не как хранилище информации.

Person – свободная переменная
2. reading – факт известен
3. Person

- ellen
7. Person – john
8. Совпадений нет
9. Person – свободная переменная
10. Продолжается пока не будет найден ответ

likes(Person, swimming)
4. likes (ellen, swimming)
5. Совпадений нет
6. Person – свободная переменная

любой другой переменной и ей никогда не присваивается значение.
В

Прологе анонимные переменные обозначаются символом подчеркивания (_).
Анонимные переменные также можно использовать в фактах (eats(_)).
Анонимные переменные сопоставляются с любыми данными.

вы даете ему цель для выполнения.
простые: likes (ellen,

reading)
сложные: likes(Person, reading), likes(Person, swimming).
Загрузите программу ch02e04.pro и задайте следующую сложную цель:
Goal parent(Person, _), male(Person).
Составные цели: конъюнкция (и - ,) и дизъюнкция (или - ;)

чем $25000?
Есть ли в списке автомобиль, стоимостью меньше

$25 000, или грузовик стоимостью меньше $20 000?

черта, звездочка) и завершаться символами */ (звездочка, косая черта).
Для

установки однострочных комментариев можно использовать либо эти же символы, либо начинать комментарий символом процента (%).

пример комментария
/***************************************
А эти три строчки — пример многострочного комментария

********************,**********,*****/
/*Вы также можете поместить комментарий Visual Prolog /*внутри комментария */ как здесь*/

(joe, tammy) сопоставимо с parent (joe, tammy).
Сопоставление (сравнение)

обычно использует одну или несколько свободных переменных.
Две свободные переменные могут сопоставляться друг с другом.
В случае "связывания" между собой нескольких свободных переменных все они называются совмещенными свободными переменными .
В Прологе связывание переменных (со значениями) производится двумя способами: входе и выходе.