1 files changed, 22 insertions, 1 deletions
diff --git a/app/Main.hs b/app/Main.hs
index 9d8fc29..be4febe 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -2,5 +2,26 @@ module Main where
 
 import Interpreter
 
+import qualified Data.Map as M
+
 main :: IO ()
-main = putStrLn "Hello, Prolog!"
+main =
+  print $
+  prove [Goal, U (Struct (1, 2)), U (Atom 1), U (Atom 2), LastCall] $
+  M.fromList
+    [ ( (1, 2)
+      , [ [U (Atom 333), U (Atom 444), NoGoal]
+        , [ U (Atom 1)
+          , U (Atom 2)
+          , Goal
+          , U (Struct (2, 0))
+          , Call
+          , Goal
+          , U (Struct (1, 2))
+          , U (Atom 333)
+          , U (Atom 444)
+          , LastCall
+          ]
+        ])
+    , ((2, 0), [[NoGoal]])
+    ]