module Main where

import Interpreter

import qualified Data.Map as M

main :: IO ()
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]])
    ]