-
Notifications
You must be signed in to change notification settings - Fork 0
/
appointmentExample.pl
38 lines (31 loc) · 936 Bytes
/
appointmentExample.pl
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
:- [aba].
:- [grounded].
myAsm(free6(a)).
myAsm(free8(a)).
myAsm(free6(b)).
myAsm(free8(b)).
myAsm(sports(b)).
myAsm(child(a)).
myAsm(overweight(b)).
myAsm(not_get6(a)).
myAsm(not_get8(a)).
myAsm(not_get6(b)).
myAsm(not_get8(b)).
myRule(get6(a), [free6(a),not_get6(b),not_get8(a)]).
myRule(get6(b), [free6(b),not_get6(a),not_get8(b)]).
myRule(get8(b), [free8(b),not_get8(a),not_get6(b)]).
myRule(get8(a), [free8(a),not_get8(b),not_get6(a)]).
myRule(not_free6(b), [sports(b)]).
myRule(not_free8(a), [child(a)]).
myRule(not_sports(b), [overweight(b)]).
contrary(free6(a), not_free6(a)).
contrary(free6(b), not_free6(b)).
contrary(free8(a), not_free8(a)).
contrary(free8(b), not_free8(b)).
contrary(not_get6(a), get6(a)).
contrary(not_get6(b), get6(b)).
contrary(not_get8(a), get8(a)).
contrary(not_get8(b), get8(b)).
contrary(sports(b), not_sports(b)).
contrary(child(a), not_child(a)).
contrary(overweight(b), not_overweight(b)).