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