diff options
Diffstat (limited to 'task5.pro')
| -rw-r--r-- | task5.pro | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -31,13 +31,11 @@ ниже(клён, липа). ниже(сосна, ель). -% выше2(X, Y) :- выше(X, Y); ниже(Y, X); выше(X, Y1), выше2(Y1, Y); ниже(Y1, X), выше2(Y1, Y). -выше2(X, Y) :- выше(X, Y); ниже(Y, X). - -самое_высокое(X) :- дерево(X), forall((дерево(Y), not(Y = X)), выше2(X, Y)). - -?- самое_высокое(X), writeln(X). +самое_высокое :- дерево(X), not(выше(_, X)), not(ниже(X, _)), writeln(X). +самое_низкое :- дерево(X), not(выше(X, _)), not(ниже(_, X)), writeln(X). +?- write("Самое высокое дерево: "), самое_высокое. +?- write("Самое низкое дерево: "), самое_низкое. ?- nl, nl, writeln("Задание 4:"). @@ -64,4 +62,4 @@ write(X2), write(" - "), writeln(Y2), write(X3), write(" - "), writeln(Y3). -% ?- halt. +?- halt. |