Iteratively apply simplification tableau rules

With this change, the tableau rules for simplifying formula are applied iteratively until a fixpoint is reached.
2018-03-25 23:49:39 +02:00
parent e01b5dc561
commit 00ab975c2d
4 changed files with 227 additions and 39 deletions
--- a/examples/schur-numbers.lp
+++ b/examples/schur-numbers.lp
@@ -3,3 +3,5 @@ covered(I) :- in(I, S).

 :- I = 1..n, not covered(I).
 :- in(I, S), in(J, S), in(I + J, S).
+
+#show in/2.