Правила для добавления приставок «пра» в отношение внук

Начав с базы данных и правил, сформулированных Вами в упражнении 4.63 , постройте правила для добавления приставок « greats » в отношение внук. Система должна уметь понять, что Ирад — правнук Адама, а Иавал и Иувал приходятся Адаму прапрапрапраправнуками. (Подсказка: представляйте, например, утверждение об Ираде как ((great grandson) Adam Irad) . Напишите правила, которые определяют, заканчивается ли список словом внук. С помощью этого определите правило, которое позволяет вывести отношение ((great . ?rel) ?x ?y) , где список ?rel оканчивается на внук.) Проверьте свои правила на запросах ((great grandson) ?g ?ggs) и (?relationship Adam Irad) .


Комментарии отсутствуют.

Необходима авторизация

Вы должны авторизоваться для создания комментария.

Вход