1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
% vim:set syntax=prolog:
?- writeln("Задание 1:").
имя1(витя).
имя1(юра).
имя1(миша).
слева(миша, юра).
слева(витя, миша).
порядок(X, Y, Z) :- имя1(X), имя1(Y), имя1(Z), слева(X, Y), слева(Y, Z).
?- порядок(X, Y, Z), writeln("Они сидели в следуюещем порядке:"),
write(X), write(' '), write(Y), write(' '), writeln(Z).
?- nl, nl, writeln("Задание 2:").
% Известно, что тополь выше березы, которая выше липы. Клен ниже липы, а сосна
% выше тополя и ниже ели. Определить самое высокое и самое низкое дерево.
дерево(тополь).
дерево(берёза).
дерево(липа).
дерево(сосна).
дерево(ель).
дерево(клён).
выше(тополь, берёза).
выше(берёза, липа).
выше(сосна, тополь).
ниже(клён, липа).
ниже(сосна, ель).
самое_высокое :- дерево(X), not(выше(_, X)), not(ниже(X, _)), writeln(X).
самое_низкое :- дерево(X), not(выше(X, _)), not(ниже(_, X)), writeln(X).
?- write("Самое высокое дерево: "), самое_высокое.
?- write("Самое низкое дерево: "), самое_низкое.
?- nl, nl, writeln("Задание 4:").
имя4(белокуров).
имя4(рыжов).
имя4(чернов).
волосы(блондин).
волосы(брюнет).
волосы(рыжий).
соответствие4(X, Y) :- имя4(X), X = белокуров, волосы(Y), not(Y = брюнет), not(Y = блондин).
соответствие4(X, Y) :- имя4(X), X = рыжов, волосы(Y), not(Y = рыжий).
соответствие4(X, Y) :- имя4(X), X = чернов, волосы(Y), not(Y = брюнет).
решение4(X1, Y1, X2, Y2, X3, Y3) :-
X1 = белокуров, соответствие4(X1, Y1),
X2 = рыжов, соответствие4(X2, Y2),
X3 = чернов, соответствие4(X3, Y3),
not(Y1 = Y2), not(Y2 = Y3), not(Y1 = Y3).
?- решение4(X1, Y1, X2, Y2, X3, Y3),
write(X1), write(" - "), writeln(Y1),
write(X2), write(" - "), writeln(Y2),
write(X3), write(" - "), writeln(Y3).
?- halt.
|
