Логіка
задачі на мові програмування 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).
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 OA, X = Object models of DATA, Z = 1987
E = Petuchov OA,
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 VI, 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
