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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
% Where does the zebra live?
% Puzzle solution written by Claude Sammut.
kind i type.
type blue, chesterfields, coffee, dog, english, zero i.
type s i -> i.
type member i -> list i -> prop.
type zebra i.
type yellow i.
type winstons i.
type water i.
type ukrainian i.
type tea i.
type spanish i.
type snails i.
type right_of i -> i -> list i -> prop.
type red i.
type print_houses list i -> prop.
type plus0 i -> i -> i -> prop.
type parliaments i.
type orange_juice i.
type once prop.
type norwegian i.
type next_to i -> i -> list i -> prop.
type mult0 i -> i -> i -> prop.
type milk i.
type lucky_strikes i.
type kools i.
type japanese i.
type ivory i.
type iter0 i -> prop -> prop.
type houses list i -> prop.
type house i -> i -> i -> i -> i -> i.
type horse i.
type green i.
type fox i.
type exp0 i -> i -> i -> prop.
iter0 zero X.
iter0 (s N) X :- X, iter0 N X.
plus0 zero X X.
plus0 (s X) Y (s S) :- plus0 X Y S.
mult0 zero X zero.
mult0 (s X) Y Z :- mult0 X Y K, plus0 Y K Z.
exp0 zero X (s zero).
exp0 (s X) Y Z :- exp0 X Y K, mult0 Y K Z.
main :-
TEN = s (s (s (s (s (s (s (s (s (s zero))))))))),
mult0 TEN TEN HUNDR,
iter0 HUNDR once.
once :-
houses Houses,
member (house red english Dummy1 Dummy2 Dummy3) Houses,
member (house Dummy4 spanish dog Dummy5 Dummy6) Houses,
member (house green Dummy10 Dummy11 coffee Dummy12) Houses,
member (house Dummy13 ukrainian Dummy14 tea Dummy15) Houses,
right_of (house green Dummy16 Dummy17 Dummy18 Dummy19) (house ivory Dummy20 Dummy21 Dummy22 Dummy23) Houses,
member (house Dummy24 Dummy25 snails Dummy26 winstons) Houses,
member (house yellow Dummy27 Dummy28 Dummy29 kools) Houses,
Houses = (Dummy30::Dummy31::(house Dummy32 Dummy33 Dummy34 milk Dummy35)::Dummy36::Dummy37::nil),
Houses = ((house Dummy38 norwegian Dummy39 Dummy40 Dummy41)::Dummy42),
next_to (house Dummy43 Dummy44 Dummy45 Dummy46 chesterfields) (house Dummy47 Dummy48 fox Dummy49 Dummy50) Houses,
next_to (house Dummy51 Dummy52 Dummy53 Dummy54 kools) (house Dummy55 Dummy56 horse Dummy57 Dummy58) Houses,
member (house Dummy59 Dummy60 Dummy61 orange_juice lucky_strikes) Houses,
member (house Dummy62 japanese Dummy63 Dummy64 parliaments) Houses,
next_to (house Dummy65 norwegian Dummy66 Dummy67 Dummy68) (house blue Dummy69 Dummy70 Dummy71 Dummy72) Houses,
member (house Dummy73 Dummy74 zebra Dummy75 Dummy76) Houses,
member (house Dummy77 Dummy78 Dummy79 water Dummy80) Houses,
print_houses Houses.
houses ((house Dummy16 Dummy17 Dummy18 Dummy19 Dummy20)::
(house Dummy116 Dummy117 Dummy118 Dummy119 Dummy120)::
(house Dummy216 Dummy217 Dummy218 Dummy219 Dummy220)::
(house Dummy316 Dummy317 Dummy318 Dummy319 Dummy320)::
(house Dummy416 Dummy417 Dummy418 Dummy419 Dummy420)::nil).
right_of A B (B::A::Dummy).
right_of A B (Dummy::Y) :- right_of A B Y.
next_to A B (A::B::Dummy).
next_to A B (B::A::Dummy).
next_to A B (Dummy::Y) :- next_to A B Y.
member X (X::Dummy).
member X (Dummy::Y) :- member X Y.
print_houses (A::B) :- !,
% write(A), nl,
% print A,
print_houses B.
print_houses nil.
|
