Задание Создание программы с использованием предложений, предикатов, доменов и целей

1. Запустить среду визуальной разработки Visual Prolog.

2. Создать новое окно редактирования File/New. В окне с именем Noname внести текст:

domains % раздел доменов

name, sex = symbol % домены имя и пол – символьные

age, telefon = integer% домены возраст и телефон – числовые

predicates % раздел предикатов

person (name, sex, age, telefon) % задание предиката персона с указанием

имени, пола, возраста и телефона

clauses % раздел предложений для задания пользовательских предикатов,

правил, фактов

person (frank, m, 45, 345679)

person (lina, w, 19, 123456)

person (tom, m, 23, 909090)

person (vika, w, 24, 787878)

person (dolli, w, 20, 909090)

person (dic, m, 47, 909087)

person (tom, m, 35, 906666)

goal % раздел целей (запросов)

person (Name, Sex, Age, 909090). % показать всех персон с телефоном

909090

3. Сохранить файл с именем lab3.

Организация запросов

4. Сменить цель. Создать цель с использованием переменных.

• Показать всех мужчин;

• Показать информацию о dolli.

5. Создать составную цель

person (Name, Sex, Age, 909090), Age>30 % показать всех персон с

телефоном 909090 и старше 30 лет

• Показать женщин и всех персон младше 18 (невоеннообязанных).

Вопросы для самоконтроля

1. Перечислите файлы используемые в проекте.

2. Запишите структуру программы Visual Prolog.

3. Дайте определения:

• факт;

• правило;

• тело правила;

• заголовок правила;

• переменные;

• анонимные переменные.

4. Перечислите основные стандартные предикаты.

5. Перечислите как в Visual Prolog можно организовать комментарии.

6. Опишите алгоритм создания простой программы на Visual Prolog.

Лабораторная работа «Создание составных целей с конъюнкцией и дизъюнкцией»

Тема: Создание составных целей с конъюнкцией и дизъюнкцией.

Цель работы: изучить правила построения сложных целей с конъюнкцией и дизъюнкцией.

Сложная цель с конъюнкцией и дизъюнкцией

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

Составные цели: конъюнкция и дизъюнкция

Составные цели можно использовать для поиска решения, в ко тором обе подцели А и В истинны (конъюнкция), разделяя подцели запятой. Вы так же можете искать решения в том случае, если истинна либо подцель А, либо под цель В (дизъюнкция), разделяя подцели точкой с запятой.

Пример сложной цели с конъюнкцией:

Показать все автомобили марки VAZ, стоимость которых не превышает 250000 руб.

сar (vaz, А), А<250000.

Пример сложной цели с дизъюнкцией:

Показать все автомобили марки VAZ, и все машины, стоимость которых не превышает не превышает 250000 руб.

сar (М, А), М=vaz; А<250000.

Задание Внесение правил

1. Запустить среду визуальной разработки Visual Prolog.

2. Настроить проект как в лабораторной работе №1. * применить к каждой лабораторной работе

3. Создать новое окно редактирования File/New. В окне с именем Noname внести текст:

predicates % раздел предикатов

likes (symbol, symbol) % предикат с двумя строковыми аргументами

clauses % раздел предложений

likes ("Ellen", tennis). % Элен любит теннис

likes (tom, football). % Том любит футбол

likes (dic, football). % Дик любит футбол

likes (dic, baseball). % Дик любит баскетбол

likes (in, tennis). % Ин любит теннис

likes (bob, A):-likes ("Ellen", A). % Боб любит то, что любит Элен

likes (bob, reading). % Боб любит читать

likes ("Ellen", reading). % Элен любит читать

likes (dolli, A):-likes (bob, A). % Долли любит то, что любит Боб

goal % раздел целей

likes (bob, tennis). % Боб любит теннис?

4. Запустить программу для выполнения запроса (меню Project/ Test Goal).

5. Сохранить файл с именем lab2.