test facts

potassco · Jul 15, 2020 · 04302e7 · 04302e7
1 parent 22240f3
commit 04302e7
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/test/facts/facts.lp b/test/facts/facts.lp
@@ -0,0 +1,2 @@
+a.
+b.
diff --git a/test/facts/facts2.lp b/test/facts/facts2.lp
@@ -0,0 +1,3 @@
+a.
+b.
+:- not &k{ a }.