Constraint logic programming: Difference between revisions

re-added bottom up evaluation
trying again
(No difference)