From 277b7abc61463f8f1c09f196090d9fff9a4bd08e Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Tue, 14 May 2024 10:25:26 +0400 Subject: =?UTF-8?q?=D0=B8=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=BB=D0=B5=D0=BD?= =?UTF-8?q?=D0=BE=20=D0=BF=D1=8F=D1=82=D0=BE=D0=B5=20=D0=B7=D0=B0=D0=B4?= =?UTF-8?q?=D0=B0=D0=BD=D0=B8=D0=B5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- task5.pro | 12 +++++------- 1 file 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. -- cgit v1.2.3