Чтение RSS
Рефераты:
 
Рефераты бесплатно
 

 

 

 

 

 

     
 
Логические задачи на языке программирования Prolog

Логические задачи на языке программирования Prolog

Задание 1.

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

   predicates

   hello.

  goal

   hello.

  clauses

   hello:-

 makewindow(1,7,7,"Моя первая программа",4,56,14,22),

 nl, write("Введите ваше имя,n","затем нажмите Enter."),

 cursor(4,6),

 readln(Name),nl,

 write("Добро пожаловатьn в PDC Prolog,n","",Name,"!").

Результат: Добро пожаловать в PDC Prolog, Vladimir!

Умышленно ввести опечатки в текст программы и ознакомиться с сообщениями об этих опечатках, исправить их.

   predicates

   hello.

  goal

   hello.

  clauses

   hello:-

 makewindow(1,7,7,"Моя первая программа",4,56,14,22)

 nl, write("Введите ваше имя,n","затем нажмите Enter."),

 cursor(4,6),

 readln(Name)nl,

 write("Добро пожаловатьn в PDC Prolog,n",",Name,!").

Результат: 423  Syntax eror.

Задание 2.

Реализовать программу с вводом перечисленных ниже целей и проверить получаемые результаты. Цели внешние.

predicates

 book(symbol,symbol,symbol,integer).

clauses

 book("Фигурнов В.Э.","IBM PC для пользователя","ФиС",1988).

 book("Петухов О.А.","Проектирование ОРБД","Судостроение",1984).

 book("Петухов О.А.","Объектно-реляционные модели данных","СЗПИ",1987).

 book("Петухов О.А.","Моделирование СМО","СЗПИ",1989).

 book("Петухов О.А.","PDC Prolog","СЗПИ",2000).

 book("Анкудинов Г.И.","Теория автоматов","СЗПИ",1997).

 book("Николаев В.И.","Дискретные структуры","СЗПИ",1999).

Результат:  X= Proektirovanie OR BD, Y=SUDOSTROENIE, Z=1984

                    X=Object models of DATA, Y=SZPI, Z=1987

                    X=Modelirovanie CMO, Y=SZPI, Z=1989

                    X=PDC Prolog, Y=SZPI, Z=2000

                    4 Solutions

                    X= Proektirovanie OR BD

                    X=Object models of DATA

                    X=Modelirovanie CMO

                    X=PDC Prolog

                    4 Solutions

                    E=Petuchov O.A., X=Object models of DATA, Z=1987

                    E=Petuchov O.A., X=Modelirovanie CMO, Z=1989

                    E=Petuchov O.A., X= PDC Prolog, Z=2000

                    E=Ankudinov G.I., X=Automat theory, Z=1997

                    E=Nikolaev V.I., X=Diskretniye struktury, Z=1999

                    5 Solutions

Задание 3.

Реализовать программу с вводом всех перечисленных внешних целей и проверить получаемые результаты:

domains

 name=symbol

 year_in, year_out = integer

predicates

 parents(name,name)

 woman(name)

 man(name)

 offspring(name,name)

 father(name,name)

 mother(name,name)

 parent_parents(name,name)

 brother(name,name)

 grandfather(name,name)

 grandmother(name,name)

 emperor(name,year_in,year_out)

 emperor_was(name,integer)

clauses

 parents("Петр III","Павел I").

 parents("Екатерина II","Павел I").

 parents("Павел I","Александр I").

 parents("Павел I","Николай I").

 parents("Николай I","Александр II").

 parents("Александр II","Александр III").

 parents("Александр III","Николай II").

 woman("Екатерина II").

 man("Петр III").

 man("Павел I").

 man("Алексндр I").

 man("Николай I").

 man("Александр II").

 man("Александр III").

 man("Николай II").

 offspring(Y,X):-parents(X,Y).

 father(X,Y):-parents(X,Y),man(X).

 mother(X,Y):-parents(X,Y),woman(X).

 parent_parents(X,Z):-parents(X,Y),parents(Y,Z).

 brother(X,Y):-parents(Z,X),parents(Z,Y),man(X),XY.

 grandfather(X,Y):-father(X,Z),father(Z,Y).

 grandmother(X,Y):-mother(X,Z),father(Z,Y).

 emperor("Петр III",1761,1762).

 emperor("Екатерина II",1762,1796).

 emperor("Павел I",1796,1801).

 emperor("Александр I",1801,1825).

 emperor("Николай I",1825,1855).

 emperor("Александр II",1855,1881).

 emperor("Александр III",1881,1894).

 emperor("Николай II",1894,1917).

 emperor_was(X,Y):-emperor(X,A,B),Y>=A,Y

 
     
Бесплатные рефераты
 
Банк рефератов
 
Бесплатные рефераты скачать
| Интенсификация изучения иностранного языка с использованием компьютерных технологий | Лыжный спорт | САИД Ахмад | экономическая дипломатия | Влияние экономической войны на глобальную экономику | экономическая война | экономическая война и дипломатия | Экономический шпионаж | АК Моор рефераты | АК Моор реферат | ноосфера ба забони точики | чесменское сражение | Закон всемирного тяготения | рефераты темы | иохан себастиян бах маълумот | Тарых | шерхо дар борат биология | скачать еротик китоб | Семетей | Караш | Influence of English in mass culture дипломная | Количественные отношения в английском языках | 6466 | чистонхои химия | Гунны | Чистон | Кус | кмс купить диплом о language:RU | купить диплом ргсу цена language:RU | куплю копии дипломов для сро language:RU
 
Рефераты Онлайн
 
Скачать реферат
 
 
 
 
  Все права защищены. Бесплатные рефераты и сочинения. Коллекция бесплатных рефератов! Коллекция рефератов!