2
.docxГУАП
КАФЕДРА № 41
ОТЧЕТ
ЗАЩИЩЕН С ОЦЕНКОЙ
ПРЕПОДАВАТЕЛЬ
старший преподаватель |
|
|
|
Е.П. Виноградова |
должность, уч. степень, звание |
|
подпись, дата |
|
инициалы, фамилия |
ОТЧЕТ О ЛАБОРАТОРНОЙ РАБОТЕ №2 |
Введение в логическое программирование |
по курсу: Информатизация и анализ информационных ресурсов общества |
|
|
РАБОТУ ВЫПОЛНИЛА СТУДЕНТКА ГР. |
4716 |
|
|
|
С.А. Янышева |
|
|
|
подпись, дата |
|
инициалы, фамилия |
Санкт-Петербург
2021
Цель работы
Создание фактов, предикатов и выводов на основании набора теоретических сведений, описывающих выбранную предметную область.
Ход выполнения работы
Простые запросы:
Родители Максима
Дедушки Максима
Бабушки Максима
Дяди Максима
Тёти Максима
Прадедушки Максима
Прабабушки Максима
Мужчины
Женщины
Выводы
В ходе лабораторной работы была написана программа родственных связей. На основе которой можно проверять кем являются друг другу два человека.
Листинг
sex('Maxim', 'male').
sex('Larisa', 'female').
sex('Vladimir', 'male').
sex('Olga', 'female').
sex('Gennadiy', 'male').
sex('Faina', 'female').
sex('Vasiliy', 'male').
sex('Maria', 'female').
sex('Anatoliy', 'male').
sex('Elisaveta', 'female').
sex('Vasiliy', 'male').
sex('Viktor', 'male').
sex('Lidia', 'female').
sex('Dmitriy', 'male').
sex('Anna', 'female').
sex('Andrey', 'male').
sex('Grigoroy', 'male').
sex('Semion', 'male').
married('Olga', 'Gennadiy').
married('Faina', 'Vasiliy').
married('Maria', 'Anatoliy').
parent('Larisa', 'Maxim').
parent('Vladimir', 'Maxim').
parent('Olga', 'Larisa').
parent('Gennadiy', 'Larisa').
parent('Faina', 'Olga').
parent('Vasiliy', 'Olga').
parent('Faina', 'Viktor').
parent('Vasiliy', 'Viktor').
parent('Faina', 'Lidia').
parent('Vasiliy', 'Lidia').
parent('Maria', 'Vladimir').
parent('Anatoliy', 'Vladimir').
parent('Olga', 'Elisaveta').
parent('Gennadiy', 'Elisaveta').
parent('Elisaveta', 'Vasiliy').
parent('Lidia', 'Dmitriy').
parent('Lidia', 'Anna').
parent('Anna', 'Georgiy').
parent('Andrey', 'Georgiy').
parent('Anna', 'Semion').
parent('Andrey', 'Semion').
mother(X, Y):- parent(X, Y), sex(X, female).
father(X, Y):- parent(X, Y), sex(X, male).
grandmother(X, Z):- parent(Y, Z), mother(X, Y).
grandfather(X, Z):- parent(Y, Z), father(X, Y).
great_grandmother(X, Z):- parent(Y, Z), grandmother(X, Y).
great_grandfather(X, Z):- parent(Y, Z), grandfather(X, Y).
daughter(Y, X):- parent(X, Y), sex(Y, female).
son(Y, X):- parent(X, Y), sex(Y, male).
granddaughter(X, Z):- parent(Z, Y), daughter(X, Y).
grandson(X, Z):- parent(Z, Y), son(X, Y).
great_granddaughter(X, Z):- parent(Z, Y), granddaughter(X, Y).
great_grandson(X, Z):- parent(Z, Y), grandson(X, Y).
sister(X,Y):- mother(M,Y), mother(M,X), father(F,X), father(F,X), sex(X, female), X\=Y.
brother(X,Y):- mother(M,Y), mother(M,X), father(F,X), father(F,X), sex(X, male), X\=Y.
aunt(X,Y):- parent(Z,Y), sister(X,Z).
uncle(X,Y):- parent(Z,Y), brother(X,Z).
female_cousin(X,Y):- aunt(A,Y), uncle(U,Y), daughter(U,X), daughter(A,X).
male_cousin(X,Y):- aunt(A,Y), uncle(U,Y), son(U,X), son(A,X).