a) The string relation is now binary with arity 2. Changes are in tables::load_string.
b) Additional arithmetic term is added with semantics v1 +1 = v2 in tables::transform_grammar
To be consistent, arithmetic term has now tab = -1 , arity 3.
c) The arithmetic raw_term conversion now works with newer changes in to_raw_term().
d) The print for raw_term is changed also to address arithmetic terms.
Now we have v1 +1 =v2 part of the transformed grammar!
Look at dyck's grammar conversion -
S(?v1 ?v5) :- ?v1+1=?v2, str(?v1 '('), S(?v2 ?v3), ?v3+1=?v4, str(?v3 ')'), S(?v4 ?v5).
e) Additional bug fix for string relation.
a) The string relation is now binary with arity 2. Changes are in tables::load_string. b) Additional arithmetic term is added with semantics v1 +1 = v2 in tables::transform_grammar To be consistent, arithmetic term has now tab = -1 , arity 3. c) The arithmetic raw_term conversion now works with newer changes in to_raw_term(). d) The print for raw_term is changed also to address arithmetic terms. Now we have v1 +1 =v2 part of the transformed grammar! Look at dyck's grammar conversion - S(?v1 ?v5) :- ?v1+1=?v2, str(?v1 '('), S(?v2 ?v3), ?v3+1=?v4, str(?v3 ')'), S(?v4 ?v5). e) Additional bug fix for string relation.