Structural simplifications and improvements.
Structural simplifications and improvements.

The general plan is to generate more code dynamically from simpler
descriptions. This is the first step, where existing parsing and
reification predicates are formulated in a simple committed-choice
language that lets us already remove several auxiliary predicates.
This prepares the way for systematically killing auxiliary constraints
in entailed implications and makes future changes much easier.

edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel