diff options
Diffstat (limited to 'modeling/prod_procedure.py')
| -rw-r--r-- | modeling/prod_procedure.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/modeling/prod_procedure.py b/modeling/prod_procedure.py index 20921c9..f9e2d7f 100644 --- a/modeling/prod_procedure.py +++ b/modeling/prod_procedure.py @@ -4,12 +4,28 @@ def procedures(Model): prods = [] + proc_find_next = Model.productionstring( + name="proc_find_next", + string=""" + =g> + isa math_goal + proc next_proc + op None + nextop None + ==> + =g> + isa math_goal + op find_next_proc + """ + ) + proc_start = Model.productionstring( name="proc_start", string=""" =g> isa math_goal proc =proc + proc ~next_proc op None nextop None ?retrieval> |