1 files changed, 5 insertions, 0 deletions
diff --git a/example.pl b/example.pl
new file mode 100644
index 0000000..b0c6ebe
--- /dev/null
+++ b/example.pl
@@ -0,0 +1,5 @@
+:- dynamic(math/4).
+
+math(A,B,C,D) :- D is A + B + C * A.
+
+true :- 1 = 1.