исправлено пятое задание

1 files changed, 5 insertions, 7 deletions

diff --git a/task5.pro b/task5.pro
index 7d287be..f91dc6f 100644
--- a/task5.pro
+++ b/task5.pro
@@ -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.