Get rid of split between posbodylts and negbodylits and recover this information when printing. Also: constraints can be treated this way (again: recover when printing)
(might result in ugly printing methods)
Improved rule design. Now the internal format of rules is not in close correspondence to the input read. However, what we do get is: easier rules.
Printing a logic program is now harder. We will work around this by printing the original program and adding lines inthe appropriate locatiosn.
This also allows us to maintain symbol table, parameters, etcetera.
Fixes #5
→ <<cset 784b444fa6e8>>
Improved rule design. Now the internal format of rules is not in close correspondence to the input read. However, what we do get is: easier rules.
Printing a logic program is now harder. We will work around this by printing the original program and adding lines inthe appropriate locatiosn.
This also allows us to maintain symbol table, parameters, etcetera.
Fixes #5
→ <<cset 454f35835f67>>
Improved rule design. Now the internal format of rules is not in close correspondence to the input read. However, what we do get is: easier rules.
Printing a logic program is now harder. We will work around this by printing the original program and adding lines inthe appropriate locatiosn.
This also allows us to maintain symbol table, parameters, etcetera.
Fixes
#5→ <<cset 784b444fa6e8>>