a slightly better call (no compile triggered)

app/Builtins.hs

@@ -129,30 +129,19 @@ retractall =
       BoundRef _ (Struct id) -> dropProcedure id >> continue
       _ -> prlgError "retractall needs a struct"
 
-exec' :: (Code -> Code) -> InterpFn
+call :: InterpFn
-exec' fgol =
+call =
   withArgs [0] $ \[arg] -> do
     heap <- use (cur . heap)
-    case Co.squashVars <$> Co.heapStructPrlgInt Nothing heap arg of
+    case derefHeap heap arg of
-      Just gs -> do
+      BoundRef _ (C (Atom a)) -> do
-        comma <- findAtom ","
+        cur . hed .= [U (Struct (Id {str = a, arity = 0})), Done]
-        semi <- findAtom ";"
+        continue
-        cut <- findAtom "!"
+      BoundRef addr s@(Struct Id {arity = arity}) -> do
-        case Co.compileGoals comma semi cut gs of
+        cur . hed .= [U s] ++ [U (HeapRef $ addr + i) | i <- [1 .. arity]] ++
-          Right nhed -> do
+          [Done]
-            zoom cur $ do
+        continue
-              hvar .= M.empty
+      _ -> prlgError "bad call"
-              hed .= nhed
-              gol %= fgol
-            continue
-          Left err -> prlgError err
-      _ -> prlgError "bad goal"
-
-call :: InterpFn
-call = exec' id
-
-exec :: InterpFn
-exec = exec' (const [Done])
 
 stop :: InterpFn
 stop =
@@ -169,8 +158,7 @@ struct = do
   case derefHeap heap <$> scope M.!? 0 of
     Just (BoundRef _ (Struct Id {arity = arity, str = str})) ->
       structUnify arity str
-    Just (BoundRef _ _) ->
+    Just (BoundRef _ _) -> backtrack
-      backtrack
     _ -> structAssemble
 
 heapListLength listAtom heap ref = go 0 ref ref (id, fromJust . step)
@@ -459,23 +447,52 @@ addPrelude = do
   addOp $ O.xfy ";" 1100
   addOp $ O.xfx ":-" 1200
   addOp $ O.fx ":-" 1200
-  horn1 <- findStruct ":-" 1
+  do [horn1, horn2] <- traverse (findStruct ":-") [1, 2]
-  horn2 <- findStruct ":-" 2
+     doCall <- U . Struct <$> findStruct "call" 1
-  let assertCode ac =
+     let assertCode ac =
-        [ [ U (Struct horn2)
+           [ [ U (Struct horn2)
-          , U (LocalRef 0)
+             , U (LocalRef 0)
-          , U (LocalRef 1)
+             , U (LocalRef 1)
-          , Cut
+             , Cut
-          , Invoke . bi $ assertRule ac
+             , Invoke . bi $ assertRule ac
-          ]
+             ]
-        , [U (Struct horn1), U (LocalRef 0), Cut, Invoke $ bi exec]
+           , [ U (Struct horn1)
-        , [U (LocalRef 0), Invoke . bi $ assertFact ac]
+             , U (LocalRef 0)
-        ]
+             , Cut
-   in do addProc (assertCode addClauseA) "asserta" 1
+             , doCall
-         addProc (assertCode addClauseZ) "assertz" 1
+             , U (LocalRef 0)
-         addProc (assertCode addClauseZ) "assert" 1
+             , Done
+             ]
+           , [U (LocalRef 0), Invoke . bi $ assertFact ac]
+           ]
+     addProc (assertCode addClauseA) "asserta" 1
+     addProc (assertCode addClauseZ) "assertz" 1
+     addProc (assertCode addClauseZ) "assert" 1
   addBi retractall "retractall" 1
-  addBi call "call" 1
+  do [comma, semi] <- traverse (flip findStruct 2) [",", ";"]
+     doCall <- U . Struct <$> findStruct "call" 1
+     addProc
+       [ [ U (Struct comma)
+         , U (LocalRef 0)
+         , U (LocalRef 1)
+         , Cut
+         , doCall
+         , U (LocalRef 0)
+         , doCall
+         , U (LocalRef 1)
+         , Done
+         ]
+       , [ U (Struct semi)
+         , U (LocalRef 0)
+         , U (LocalRef 1)
+         , Cut
+         , Choices [[doCall, U (LocalRef 0)], [doCall, U (LocalRef 1)]]
+         , Done
+         ]
+       , [U (LocalRef 0), Invoke $ bi call]
+       ]
+       "call"
+       1
   {- terms -}
   addBi struct "struct" 3
   addBi var "var" 1