Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 

Лабораторна робота №2

Завдання:

Описати на SWI Prolog відношення, що визначає споріднений зв'язок за індивідуальним завданням. У базі даних представити факти, що представляють одне або декілька з наступних відносин:

is_parent(?Parent's name, Children's name).
is_female(?Name).
is_male(?Name).
marriage(?Husband's name, ?Wife's name).

Припустимо використовувати лише зазначені структури відношень. Для представлення заданого відношення використовувати таку структуру аргументів:

is_relation(?Who ?Whom)

де <relation> відповідає заданому відношенню, Who визначає ім'я людини, що знаходиться у відношенні <relation> до людини на ім'я Whom. Наприклад, запит по відношенню «мачуха» (Мері є мачухою Боба):

is_stepmother(mary, bob).

Індивідуальне завдання:

Зовиця (сестра дружини).