Родитель(имя,имя)
Предок(имя,имя)
clauses% Раздел фактов и правил
Родитель(пам,боб).
Родитель(том,боб).
Родитель(том,лиз).
Родитель(боб,энн).
Родитель(боб,пат).
Родитель(пат,джим).
предок(X,Z) : —%Правило пр1 : X - предок Z
Родитель(X,Z).
предок(X,Z) : —%Правило пр2 : X – предок Z
Родитель(X,Y),
<== попередня сторінка |
| |
наступна сторінка ==> |
| | | | Переглядів: 660
Не знайшли потрібну інформацію? Скористайтесь пошуком google:
|
|