(ASSEMBLE.CLAUSE ( first←symbol 1 si ) 6 (start.calling QP%.FIRST%.SYMBOL 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( next←symbol 2 si ) 7 (start.calling QP%.NEXT%.SYMBOL 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( first←procedure 1 si ) 6 (start.calling QP%.FIRST%.PREDICATE 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( atom←predicate 2 si ) 7 (start.calling QP%.ATOM%.PREDICATE 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( functor←predicate 3 si ) 8 (start.calling QP%.FUNCTOR%.PREDICATE 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( p←check←predicate 4 si ) 9 (start.calling QP%.P%.CHECK%.PREDICATE 3) (send.direct.Ai 1) (send.direct.Ai 2) (send.direct.Ai 3) (call.lisp 1) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( local←predicate 4 si ) 9 (start.calling QP%.LOCAL%.PREDICATE 3) (send.direct.Ai 1) (send.direct.Ai 2) (send.direct.Ai 3) (call.lisp 1) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( predicate←parts 5 si ) 10 (start.calling QP%.PREDINFO 1) (send.direct.Ai 1) (call.lisp 4) (unify.local.Xn 2) (unify.local.Xn 3) (unify.local.Xn 4) (unify.local.Xn 5) (proceed) ) (ASSEMBLE.CLAUSE ( predicate←parts 4 si ) 9 (start.calling QP%.PREDINFO 1) (send.direct.Ai 1) (call.lisp 3) (unify.local.Xn 2) (unify.local.Xn 3) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( gettopval 2 si ) 7 (start.calling GETTOPVAL 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( settopval 2 si ) 8 (start.calling SETTOPVAL 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( free←clause 1 si ) 7 (start.calling QP%.FREE%.CLAUSE 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( getenv 2 si ) 7 (start.calling QP%.GETENV 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( chars←from←byte←buffer 1 si ) 6 (start.calling QP%.CHARS%.FROM%.BYTE%.BUFFER 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( copy←procedure←record 2 si ) 7 (start.calling QP%.COPY%.PROCEDURE%.RECORD 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( free←procedure←record 1 si ) 7 (start.calling QP%.FREE%.PROCEDURE%.RECORD 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( statistic 2 si ) 7 (start.calling PROLOG%.STATISTIC 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( trimcore 0 si ) 6 (start.calling QP%.TRIMCORE 0) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( block←events 1 si ) 7 (start.calling QP%.BLOCK%.EVENTS 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( unblock←events 1 si ) 7 (start.calling QP%.UNBLOCK%.EVENTS 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( deliver←errors 3 si ) 8 (start.calling QP%.DELIVER%.ERRORS 0) (call.lisp 3) (unify.local.Xn 1) (unify.local.Xn 2) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( tmp←manage 2 si ) 8 (start.calling QP%.TMP%.MANAGE 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( prolog←event 1 si ) 7 (start.calling QP%.PROLOG%.EVENT 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( len 4 si ) 9 (start.calling QP%.LEN 3) (send.direct.Ai 1) (send.direct.Ai 2) (send.direct.Ai 3) (call.lisp 1) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( cprint 3 si ) 9 (start.calling QP%.CPRINT 3) (send.direct.Ai 1) (send.direct.Ai 2) (send.direct.Ai 3) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( open←read 4 si ) 9 (start.calling QP%.OPEN%.READ 2) (send.direct.Ai 1) (send.direct.Ai 3) (call.lisp 2) (unify.local.Xn 4) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( open←write 4 si ) 9 (start.calling QP%.OPEN%.WRITE 2) (send.direct.Ai 1) (send.direct.Ai 3) (call.lisp 2) (unify.local.Xn 4) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( open←append 4 si ) 9 (start.calling QP%.OPEN%.APPEND 2) (send.direct.Ai 1) (send.direct.Ai 3) (call.lisp 2) (unify.local.Xn 4) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( open←null←write 3 si ) 8 (start.calling QP%.OPEN%.NULL%.WRITE 1) (send.direct.Ai 2) (call.lisp 2) (unify.local.Xn 3) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( p←set←input 2 si ) 8 (start.calling QP%.P%.SET%.INPUT 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( p←set←output 2 si ) 8 (start.calling QP%.P%.SET%.OUTPUT 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( p←current←input 2 si ) 7 (start.calling QP%.P%.CURRENT%.INPUT 0) (call.lisp 2) (unify.local.Xn 2) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( p←current←output 2 si ) 7 (start.calling QP%.P%.CURRENT%.OUTPUT 0) (call.lisp 2) (unify.local.Xn 2) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( str←opened 6 si ) 11 (start.calling QP%.STR%.OPENED 1) (send.direct.Ai 1) (call.lisp 5) (unify.local.Xn 6) (unify.local.Xn 2) (unify.local.Xn 3) (unify.local.Xn 4) (unify.local.Xn 5) (proceed) ) (ASSEMBLE.CLAUSE ( p←close 2 si ) 8 (start.calling QP%.P%.CLOSE 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( pchar←count 3 si ) 8 (start.calling QP%.PCHAR%.COUNT 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( pline←count 3 si ) 8 (start.calling QP%.PLINE%.COUNT 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( pline←position 3 si ) 8 (start.calling QP%.PLINE%.POSITION 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( p←flush 2 si ) 8 (start.calling QP%.P%.FLUSH 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( get0 1 si ) 6 (start.calling QP%.GET0 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( get0←2 3 si ) 8 (start.calling QP%.GET0%.2 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( unget0 1 si ) 7 (start.calling QP%.UNGET0 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( get←char 2 si ) 7 (start.calling QP%.GET%.CHAR 0) (call.lisp 2) (unify.local.Xn 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( put 1 si ) 7 (start.calling QP%.PUT 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( put←2 3 si ) 9 (start.calling QP%.PUT%.2 3) (send.direct.Ai 1) (send.direct.Ai 2) (send.direct.Ai 3) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( put←token 2 si ) 8 (start.calling QP%.PUT%.TOKEN 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( setprompt 1 si ) 7 (start.calling QP%.SETPROMPT 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( getprompt 1 si ) 6 (start.calling QP%.GETPROMPT 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( p←alphameric 1 si ) 7 (start.calling QP%.P%.ALPHAMERIC 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( get←char←token 2 si ) 7 (start.calling QP%.GET%.CHAR%.TOKEN 0) (call.lisp 2) (unify.local.Xn 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( print←opsys←error 1 si ) 7 (start.calling QP%.PRINT%.OPSYS%.ERROR 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( file←exists 2 si ) 7 (start.calling QP%.FILE%.EXISTS 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( stream←tell 4 si ) 9 (start.calling QP%.STREAM%.TELL 1) (send.direct.Ai 1) (call.lisp 3) (unify.local.Xn 2) (unify.local.Xn 3) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( stream←seek 4 si ) 10 (start.calling QP%.STREAM%.SEEK 4) (send.direct.Ai 1) (send.direct.Ai 2) (send.direct.Ai 3) (send.direct.Ai 4) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( host←version 4 si ) 9 (start.calling QP%.HOST%.VERSION 0) (call.lisp 4) (unify.local.Xn 1) (unify.local.Xn 2) (unify.local.Xn 3) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( prolog←command 2 si ) 7 (start.calling QP%.PROLOG%.COMMAND 0) (call.lisp 2) (unify.local.Xn 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( quintus←path 1 si ) 6 (start.calling QP%.QUINTUS%.PATH 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( save←restore 2 si ) 8 (start.calling QP%.SAVE%.RESTORE 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( operation 2 si ) 7 (start.calling QP%.OPERATION 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( var←location 2 si ) 7 (start.calling QP%.VAR%.LOCATION 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( clear←byte←buffer 0 si ) 6 (start.calling QP%.CLEAR%.BYTE%.BUFFER 0) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( put←byte 1 si ) 7 (start.calling QP%.PUT%.BYTE 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( intern←symbol 1 si ) 6 (start.calling QP%.INTERN%.SYMBOL 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( float←from←byte←buffer 1 si ) 6 (start.calling QP%.FLOAT%.FROM%.BYTE%.BUFFER 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( float←to←byte←buffer 1 si ) 7 (start.calling QP%.FLOAT%.TO%.BYTE%.BUFFER 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( symbol←to←byte←buffer 1 si ) 7 (start.calling QP%.SYMBOL%.TO%.BYTE%.BUFFER 1) (send.direct.Ai 1) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( symbol←length 2 si ) 7 (start.calling QP%.SYMBOL%.LENGTH 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( symbol←char 3 si ) 8 (start.calling QP%.SYMBOL%.CHAR 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( p←token←type 2 si ) 7 (start.calling QP%.P%.TOKEN%.TYPE 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( fix←arity 2 si ) 8 (start.calling QP%.FIX%.ARITY 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.void 1) (proceed) ) (ASSEMBLE.CLAUSE ( p←procedure 4 si ) 9 (start.calling QP%.PREDINFO 1) (send.direct.Ai 1) (call.lisp 3) (unify.local.Xn 2) (unify.local.Xn 3) (unify.local.Xn 4) (proceed) ) (ASSEMBLE.CLAUSE ( installation←directory 1 si ) 6 (start.calling QP%.INSTALLATION%.DIRECTORY 0) (call.lisp 1) (unify.local.Xn 1) (proceed) ) (ASSEMBLE.CLAUSE ( absolute←path 2 si ) 7 (start.calling QP%.ABSOLUTE%.PATH 1) (send.direct.Ai 1) (call.lisp 1) (unify.local.Xn 2) (proceed) ) (ASSEMBLE.CLAUSE ( add←file←to←path 3 si ) 8 (start.calling QP%.ADD%.FILE%.TO%.PATH 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( lisp←apply 3 si ) 8 (start.calling APPLY 2) (send.direct.Ai 1) (send.direct.Ai 2) (call.lisp 1) (unify.local.Xn 3) (proceed) ) (ASSEMBLE.CLAUSE ( global 3 si ) 1 (fail) ) STOP