2?- flies(X). 3
5penguin(sam).
6
7wounded_bird(john).
8
9bird(tweety).
10bird(Var0) :-
11 penguin(Var0).
12bird(Var0) :-
13 wounded_bird(Var0).
14
15ab(Var0) :-
16 penguin(Var0).
17ab(Var0) :-
18 wounded_bird(Var0).
19
20flies(Var0) :-
21 bird(Var0),
22 not ab(Var0).
23
24-flies(Var0) :-
25 ab(Var0).
26-flies(Var0) :-
27 -bird(Var0).
28
29-wounded_bird(Var0) :-
30 not wounded_bird(Var0).
31
32-bird(Var0) :-
33 not bird(Var0).
34
35-penguin(Var0) :-
36 not penguin(Var0).
37
38-ab(Var0) :-
39 not ab(Var0).
40
41
42% DUAL RULES:
43not o_-ab_1(Var0) :-
44 ab(Var0).
45
46not -ab(Var0) :-
47 not o_-ab_1(Var0).
48
49not o_-penguin_1(Var0) :-
50 penguin(Var0).
51
52not -penguin(Var0) :-
53 not o_-penguin_1(Var0).
54
55not o_-wounded_bird_1(Var0) :-
56 wounded_bird(Var0).
57
58not -wounded_bird(Var0) :-
59 not o_-wounded_bird_1(Var0).
60
61not o_-bird_1(Var0) :-
62 bird(Var0).
63
64not -bird(Var0) :-
65 not o_-bird_1(Var0).
66
67not o_-flies_1(Var0) :-
68 not ab(Var0).
69
70not o_-flies_2(Var0) :-
71 not -bird(Var0).
72
73not -flies(Var0) :-
74 not o_-flies_1(Var0),
75 not o_-flies_2(Var0).
76
77not o_flies_1(Var0) :-
78 not bird(Var0).
79not o_flies_1(Var0) :-
80 bird(Var0),
81 ab(Var0).
82
83not flies(Var0) :-
84 not o_flies_1(Var0).
85
86not o_ab_1(Var0) :-
87 not penguin(Var0).
88
89not o_ab_2(Var0) :-
90 not wounded_bird(Var0).
91
92not ab(Var0) :-
93 not o_ab_1(Var0),
94 not o_ab_2(Var0).
95
96not o_bird_1(Var0) :-
97 Var0 \= tweety.
98
99not o_bird_2(Var0) :-
100 not penguin(Var0).
101
102not o_bird_3(Var0) :-
103 not wounded_bird(Var0).
104
105not bird(Var0) :-
106 not o_bird_1(Var0),
107 not o_bird_2(Var0),
108 not o_bird_3(Var0).
109
110not o_wounded_bird_1(Var0) :-
111 Var0 \= john.
112
113not wounded_bird(Var0) :-
114 not o_wounded_bird_1(Var0).
115
116not o_penguin_1(Var0) :-
117 Var0 \= sam.
118
119not penguin(Var0) :-
120 not o_penguin_1(Var0).
121
122not o_false.
123
124
125% INTEGRITY CONSTRAINTS:
126not o__chk_1_1(Var0) :-
127 not -ab(Var0).
128not o__chk_1_1(Var0) :-
129 -ab(Var0),
130 not ab(Var0).
131
132not o__chk_1_1 :-
133 forall(Var0,not o__chk_1_1(Var0)).
134
135not o_chk_1 :-
136 not o__chk_1_1.
137
138not o__chk_2_1(Var0) :-
139 not -penguin(Var0).
140not o__chk_2_1(Var0) :-
141 -penguin(Var0),
142 not penguin(Var0).
143
144not o__chk_2_1 :-
145 forall(Var0,not o__chk_2_1(Var0)).
146
147not o_chk_2 :-
148 not o__chk_2_1.
149
150not o__chk_3_1(Var0) :-
151 not -wounded_bird(Var0).
152not o__chk_3_1(Var0) :-
153 -wounded_bird(Var0),
154 not wounded_bird(Var0).
155
156not o__chk_3_1 :-
157 forall(Var0,not o__chk_3_1(Var0)).
158
159not o_chk_3 :-
160 not o__chk_3_1.
161
162not o__chk_4_1(Var0) :-
163 not -bird(Var0).
164not o__chk_4_1(Var0) :-
165 -bird(Var0),
166 not bird(Var0).
167
168not o__chk_4_1 :-
169 forall(Var0,not o__chk_4_1(Var0)).
170
171not o_chk_4 :-
172 not o__chk_4_1.
173
174not o__chk_5_1(Var0) :-
175 not -flies(Var0).
176not o__chk_5_1(Var0) :-
177 -flies(Var0),
178 not flies(Var0).
179
180not o__chk_5_1 :-
181 forall(Var0,not o__chk_5_1(Var0)).
182
183not o_chk_5 :-
184 not o__chk_5_1.
185
186global_constraint :-
187 not