Лабораторная работа по «Логическому и функциональному программированию»

Федеральное агентство связи

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ

ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ

«САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕЛЕКОММУНИКАЦИЙ ИМ. ПРОФ. М. А. БОНЧ-БРУЕВИЧА»

(СПбГУТ)

                                Факультет ИНО

Кафедра программной инженерии и вычислительной техники

ЛАБОРАТОРНАЯ РАБОТА №1

по дисциплине «Логическое и функциональное программирование»

Выполнил: студент группы ПИБ-11з

Гюльмагомедов Казимагомед Исмаилович

Проверил: 

доцент кафедры ПИиВТ

Ерофеев Сергей Анатольевич

Санкт-Петербург

2023

Постановка задачи

Создать базу знаний на языке Turbo Prolog 2.0, содержащую родственные связи, включая следующие: дочь, сын, сестра, брат, мама, папа, жена, муж, бабушка, дедушка. Схема знаний:

[pic 1]

Пояснение необходимых родственных

связей родственных связей

Дочь — лицо женского пола по отношению к своим родителям. (В программе – daughter (X, Y))

Сын — лицо мужского пола по отношению к своим родителям. (В программе – son(X, Y))

Сестра — дочь тех же родителей по отношению к другим их детям. (В программе – sister(X, Y))

Брат — сын тех же родителей по отношению к другим их детям. (В программе – brother(X, Y))

Мама (мать) — женщина по отношению к своим детям. (В программе – mom(X,

Y))

Папа (отец) — мужчина по отношению к своим детям. (В программе – dad(X,

Y))

Жена — женщина по отношению к мужчине, с которым она состоит в браке.

Муж — мужчина по отношению к женщине, с которой он состоит в браке.

(В программе связь муж – жена выполняет единый предикат marriage(X, Y))

Бабушка — мать отца или матери. (В программе – grandma (X, Y))

Дедушка — отец отца или матери. (В программе – grandpa (X,

Y))

Для упрощения определения некоторых предикатов программы, а также для возможности вывода всех возможных искомых родственников независимо от их пола, в список родственных связей были добавлены универсальные связи, не зависящие от пола их участников. В их числе: родитель (в программе – parent(X,

Y)), ребёнок (в программе – child(X, Y)), бабушки и дедушки (в программе – grandparent (X, Y)), внуки (в программе – grandkid(X, Y)).

ЛИСТИНГ КОДА: 

DOMAINS

    person = symbol

PREDICATES     man(person)     woman(person)     dad(person, person)     mom(person, person)     grandma(person, person)     grandpa(person, person)     son(person, person)     daughter(person, person)     parent(person, person)          child(person, person)          sister(person, person)          brother(person, person)     marriage(person, person)     grandkid(person, person)     grandparent(person, person)

CLAUSES

    % Мужчины:     man(poliport).     man(telemah).     man(odissey).