-
Notifications
You must be signed in to change notification settings - Fork 0
/
temp.pl
69 lines (57 loc) · 2.26 KB
/
temp.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
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
X = (free6(a),{free6(a)}) ? ;
X = (free6(b),{free6(b)}) ? ;
X = (child(a),{child(a)}) ? ;
X = (overweight(b),{overweight(b)}) ? ;
X = (not_get8(a),{not_get8(a)}) ? ;
X = (not_get6(b),{not_get6(b)}) ? ;
X = (not_get8(b),{not_get8(b)}) ? ;
X = (get6(a),{free6(a),not_get6(b),not_get8(a)}) ? ;
X = (not_free8(a),{child(a)}) ? ;
X = (not_sports(b),{overweight(b)}) ? ;
X = (free6(a),{free6(a)}) ? ;
X = (free6(b),{free6(b)}) ? ;
X = (child(a),{child(a)}) ? ;
X = (overweight(b),{overweight(b)}) ? ;
X = (not_get6(a),{not_get6(a)}) ? ;
X = (not_get8(a),{not_get8(a)}) ? ;
X = (not_get6(b),{not_get6(b)}) ? ;
X = (get6(b),{free6(b),not_get6(a),not_get8(b)}) ? ;
X = (not_free8(a),{child(a)}) ? ;
X = (not_sports(b),{overweight(b)}) ? ;
% 1. X = (free6(a),[free6(a)]) ? ;
2. X = (free8(a),[free8(a)]) ? ;
3. X = (free6(b),[free6(b)]) ? ;
4. X = (free8(b),[free8(b)]) ? ;
% 5. X = (sports(b),[sports(b)]) ? ;
% 6. X = (child(a),[child(a)]) ? ;
7. X = (overweight(b),[overweight(b)]) ? ;
8. X = (not_get6(a),[not_get6(a)]) ? ;
9. X = (not_get8(a),[not_get8(a)]) ? ;
% 10. X = (not_get6(b),[not_get6(b)]) ? ;
% 11. X = (not_get8(b),[not_get8(b)]) ? ;
% 12. X = (get6(a),[free6(a),not_get6(b),not_get8(a)]) ? ;
13. X = (get6(b),[free6(b),not_get6(a),not_get8(b)]) ? ;
14. X = (get8(b),[free8(b),not_get8(a),not_get6(b)]) ? ;
15. X = (get8(a),[free8(a),not_get8(b),not_get6(a)]) ? ;
% 16. X = (not_free6(b),[sports(b)]) ? ;
% 17. X = (not_free8(a),[child(a)]) ? ;
18. X = (not_sports(b),[overweight(b)]) ? ;
% ann gets 6, boris gets none - think its okay(?)
%1. X = (free6(a),[free6(a)]) ? ;
2. X = (free8(a),[free8(a)]) ? ;
%3. X = (free6(b),[free6(b)]) ? ;
%4. X = (free8(b),[free8(b)]) ? ;
5. X = (sports(b),[sports(b)]) ? ;
%6. X = (child(a),[child(a)]) ? ;
%7. X = (overweight(b),[overweight(b)]) ? ;
8. X = (not_get6(a),[not_get6(a)]) ? ;
%9. X = (not_get8(a),[not_get8(a)]) ? ;
%10. X = (not_get6(b),[not_get6(b)]) ? ;
%11. X = (not_get8(b),[not_get8(b)]) ? ;
%12. X = (get6(a),[free6(a),not_get6(b),not_get8(a)]) ? ;
13. X = (get6(b),[free6(b),not_get6(a),not_get8(b)]) ? ;
14. X = (get8(b),[free8(b),not_get8(a),not_get6(b)]) ? ;
15. X = (get8(a),[free8(a),not_get8(b),not_get6(a)]) ? ;
16. X = (not_free6(b),[sports(b)]) ? ;
%17. X = (not_free8(a),[child(a)]) ? ;
%18. X = (not_sports(b),[overweight(b)]) ? ;