blob: 39434034818576e0383a361b54cff6a89486a2c5 (
plain)
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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
|
#!/usr/bin/env python3
def number(Model):
prods = []
number_expand_arg1 = Model.productionstring(
name="number_expand_arg1",
string="""
=g>
isa math_goal
op expand
arg1 =num
ones1 None
expand_slot None
?retrieval>
state free
buffer empty
==>
=g>
isa math_goal
expand_slot arg1
+retrieval>
isa number
number =num
"""
)
prods.append(number_expand_arg1)
number_expand_arg1_done = Model.productionstring(
name="number_expand_arg1_done",
string="""
=g>
isa math_goal
op expand
expand_slot arg1
arg1 =num
=retrieval>
isa number
number =num
ones =one
tens =ten
hundreds =hun
==>
=g>
isa math_goal
expand_slot None
ones1 =one
tens1 =ten
hundreds1 =hun
~retrieval>
"""
)
prods.append(number_expand_arg1_done)
number_expand_arg1_fail = Model.productionstring(
name="number_expand_arg1_fail",
string="""
=g>
isa math_goal
op expand
ones1 None
expand_slot arg1
?retrieval>
state error
==>
=g>
isa math_goal
expand_slot None
~retrieval>
"""
)
prods.append(number_expand_arg1_fail)
number_expand_arg2 = Model.productionstring(
name="number_expand_arg2",
string="""
=g>
isa math_goal
op expand
arg2 =num
ones2 None
expand_slot None
?retrieval>
state free
buffer empty
==>
=g>
isa math_goal
expand_slot arg2
+retrieval>
isa number
number =num
"""
)
prods.append(number_expand_arg2)
number_expand_arg2_fail = Model.productionstring(
name="number_expand_arg2_fail",
string="""
=g>
isa math_goal
op expand
ones2 None
expand_slot arg2
?retrieval>
state error
==>
=g>
isa math_goal
expand_slot None
~retrieval>
"""
)
prods.append(number_expand_arg2_fail)
number_expand_arg2_done = Model.productionstring(
name="number_expand_arg2_done",
string="""
=g>
isa math_goal
op expand
expand_slot arg2
arg2 =num
=retrieval>
isa number
number =num
ones =one
tens =ten
hundreds =hun
==>
=g>
isa math_goal
expand_slot None
ones2 =one
tens2 =ten
hundreds2 =hun
~retrieval>
"""
)
prods.append(number_expand_arg2_done)
number_expand_done = Model.productionstring(
name="number_expand_done",
string="""
=g>
isa math_goal
op expand
expand_slot None
ones1 ~None
tens1 ~None
hundreds1 ~None
ones2 ~None
tens2 ~None
hundreds2 ~None
==>
=g>
isa math_goal
op done
"""
)
number_contract_result = Model.productionstring(
name="number_contract_result",
string="""
=g>
isa math_goal
result None
ones_ans ~None
tens_ans ~None
hundreds_ans ~None
hundreds_ans ~busy
ones_ans =ones
tens_ans =tens
hundreds_ans =hunds
?retrieval>
buffer empty
state free
==>
=g>
isa math_goal
expand_slot result
+retrieval>
isa number
ones =ones
tens =tens
hundreds =hunds
"""
)
prods.append(number_contract_result)
number_contract_result_done = Model.productionstring(
name="number_contract_result_done",
string="""
=g>
isa math_goal
expand_slot result
result None
ones_ans =ones
tens_ans =tens
hundreds_ans =hundreds
=retrieval>
isa number
number =num
ones =ones
tens =tens
hundreds =hundreds
==>
=g>
isa math_goal
result =num
expand_slot None
~retrieval>
"""
)
prods.append(number_contract_result_done)
return prods
|
