[proceed for facts only, ' s"" for pl-execute"
Adrian Prantl <adrian@complang.tuwien.ac.at>**20090126111614] {
hunk ./compiler.fs 479
+: push-call ( addrF uF nargs -- )
+    s\" s\" '" push-xt
+    push-functor s\" -clause-1-def\" pl-execute" push-xt;
+;
+
hunk ./compiler.fs 486
-    s" [']" push-xt
-    addrF uF nargs push-functor s" -clause-1-def pl-execute" push-xt;
+    addrF uF nargs push-call
hunk ./compiler.fs 492
-    s" [']" push-xt
-    addrF uF nargs push-functor s" -clause-1-def pl-execute" push-xt;
+    addrF uF nargs push-call
hunk ./compiler.fs 613
-    Arrow? if
+    Arrow? if  \  query
hunk ./compiler.fs 617
-	IfxExp? if
+	IfxExp? if  \  clause
hunk ./compiler.fs 624
-	else compile-head
+	else  \  fact
+	    compile-head
+	    s" proceed" push-xt;
hunk ./compiler.fs 629
-	s" proceed" push-xt;
}