Построить базу знаний «Рабочая смена»:

Мария работает в дневную смену.
Сергей работает в вечернюю смену.
Борис работает в вечернюю смену.
Валентина работает в вечернюю смену.
Два служащих знают друг друга, если они работают в одну смену. Определить:
1) Знает ли Сергей Бориса?
2) Кого знает Валентина?
3) Кого знает Мария?
4) Кто не знаком друг с другом?

Составить базу знаний «Знакомства» из следующих фактов и правил:
Мери прелестна.
Джон добрый.
Джон мужественный.
Джон сильный.
Некто счастлив, если богатый или нравится женщинам.
Мужчина нравится женщине, если женщина нравится мужчине и он добрый, либо мужчина добрый и сильны.
Мужчине нравится женщина, если она прелестна.
Сформулировать вопрос:
— счастлив ли Джон?
— Найти мужчин, которые могут нравиться женщинам