Add a sample code.

proof-ninja · Sep 18, 2024 · 933a48a · 933a48a
1 parent df13572
commit 933a48a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/examples/simplification_prepare2.dl b/examples/simplification_prepare2.dl
@@ -0,0 +1,5 @@
+source x('A':int).
+view v('A':int).
+
++x(A) :- x(A), v(A), A <> 42.
+-x(A) :- +x(A), +v(A).