ADDED: library(clpb). Constraint Logic Programming over Boolean variables, CLP(B).
add CLP(B)
add CLP(B)
add CLP(B)
allow general unification
documentation of data structures
generalise unification
update documentation
shorten
DOC: Explain residual goals in CLP(B).
DOC: add taut/2 example for CLP(B)
use Expr instead of Sat in CLP(B) documentation
tree --> diagram
shorter residual goals
comment on unification
consistent domain errors on invalid CLP(B) expressions
DOC: Get clp(b) into the manual
Add clp(b) to the Windows installer