-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathlogic_1.metta
105 lines (86 loc) · 2.09 KB
/
logic_1.metta
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
93
94
95
96
97
98
99
100
101
102
103
; (convert-to-metta-file logic_1 $_381294 logic/logic_1.pl logic/logic_1.metta)
(= test1
( (substitution
(f
(g $A) $B)
(f
(g (h a))
(i b)) $ERG)
(write $ERG) nl))
(= test2
( (lgg
(f
(g 3) 3
(j 6))
(f
(g 2) 2
(j (h 6))) $ERG)
(write $ERG) nl))
(= test3a
(covers
(:: (mem 3 (:: 4 3)))
(::
(= (mem $A ([|] $A $_)) True)
(= (mem $A (Cons $_ $B))
(mem $A $B)))))
(= test3b
(covers
(:: (mem 3 (:: 4 5)))
(::
(= (mem $A ([|] $A $_)) True)
(= (mem $A (Cons $_ $B))
(mem $A $B)))))
(= test4a
(psubsumes
(::
(= (mem $A ([|] $A $_)) True)
(= (mem $B (Cons $_ $C))
(mem $B $C)))
(:: (= (mem $D (Cons $_ (Cons $_ $E)))
(mem $D $E)))))
(= test4b
(psubsumes
(::
(= (mem $A ([|] $A $_)) True)
(= (mem $B (Cons $_ $C))
(mem $B $C)))
(::
(= (mem $D (Cons $_ (Cons $_ $E)))
(mem $D $E))
(= (mem $D (Cons $_ (Cons $_ (Cons $_ $E))))
(mem $D $E)))))
(= test4c
(psubsumes
(::
(= (mem $A ([|] $A $_)) True)
(= (mem $B (Cons $_ $C))
(mem $B $C)))
(:: (= (mem $D (Cons $_ (Cons $_ $E)))
(mem $X $E)))))
(= test4d
(psubsumes
(:: (= (mem $B (Cons $_ $C))
(mem $B $C)))
(:: (= (mem $D (Cons $_ (Cons $_ $E)))
(mem $D $E)))))
(= test5
(p-subsumes
(:: (= (cuddly-pet $X)
(small $X)
(fluffy $X)
(pet $X)))
(::
(= (pet $X)
(cat $X))
(= (pet $X)
(dog $X))
(= (small $X)
(cat $X)))
(::
(= (cuddly-pet $X)
(small $X)
(fluffy $X)
(dog $X))
(= (cuddly-pet $X)
(fluffy $X)
(cat $X)))))