Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)
on(а, b).
on(b, с).
above(X, Y) :- on(X, Y).
above(X, Y) :- on(Z, Y),
above(X, Z).
24 Приложения 1 2 | |
Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на) on(а, b). on(b, с). above(X, Y) :- on(X, Y). above(X, Y) :- on(Z, Y), above(X, Z). |