Практическая работа по "Программированию"

Практическая работа

Представление знаний, правил и запросов на языке Турбо Пролог.

Решение логических задач.

 

Порядок выполнения:

 

1.Войдите в среду  ТурбоПролог 

 

2.По имеющимся фактам и правилам:

Роза – красная.	Билл любит собак.
Бет любит всё красное.	Билл любит всё, что любит Бет.
Бет любит Билла.

сформировать следующие  запросы:

Любит ли Бет розы?	Кто любит Билла?
Любит ли Билл собак?	Что любит Билл?

 

Последовательность выполнения задания:

1. Войдите в окно  редактирования (нажмите Alt-E или выберите в главном меню пункт Edit)

2. Введите текст следующей  программы:

 

  

predicates     

  red(symbol).    /* красное */

  likes(symbol,symbol).   /* любит */

clauses

  red(rose).

  likes(bet,X):- red(X).

  likes(bet,bill).

  likes(bill,dogs).

  likes(bill,X) :- likes(bet,X).

 

3. Убедитесь, что текст программы введен правильно, и нажмите Alt-R для ее запуска.

4. На приглашение системы “Цель:” в окне Dialog введите последовательно запросы:

likes(bet,rose)

likes(bill,dogs)

likes(Who,bill)

likes(bill,What)

 

3. По имеющимся фактам и правилам:

Иван, Елена, Татьяна, Игорь – студенты.

Студент получает зачет, если он отчитается по лабораторным занятиям.

Иван отчитается по лабораторным занятиям только вместе с Игорем.

Елена и Татьяна отчитались по лабораторным занятиям и пойдут вечером на дискотеку.

Если Игорь пойдет на дискотеку вместе с Татьяной, то он отчитается по лабораторным занятиям.

Игорь пойдет вечером на дискотеку, если у него будет свободное время.

Сегодня вечером Игорь свободен.

сформировать следующие запросы:

Кто пойдет вечером на дискотеку?

Кто получит зачет?