Predicates

like(symbol, symbol)

love (symbol, symbol)

kp (symbol)

girl(symbol)

can (symbol)

Clauses

girl(ani).

girl(lina).

can (boy).

kp(float).

like (lina, float).

like(tom, mama).

like (girl, Kp):-kp(Kp).

love (dolli, can).

Goal

like (girl,float).

Задание

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

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). % показать всех персон с телефоном

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.

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

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

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