(ASSEMBLE.CLAUSE ( help 0 si ) 5
    (allocate)
    (call 3 user←help 0 user)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( help 0 si ) 177
    (allocate)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 %↑C% % % % interrupts% Prolog%,% after% which% you% can% start% tracing%,)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 % % % % % % abort% a% program%,% or% exit% Prolog%.)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 %↑Z% % sends% an% end%-of%-file% to% Prolog%.)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 The% prompt% %|% %?%-% % appears% when% you% are% at% Prolog%'s% top%-level%.)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 Prolog% is% then% waiting% for% a% question% or% command%.% % To% load% clauses%,)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 use% %"%[filename%]%.%"% % %(or% the% %"consult%"% menu% item% from% a% TEdit% window%)%.)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 To% get% help% on% a% particular% topic% type% %"help%(Topic%)%.%"% where% Topic)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 is% an% atom%.% % This% will% give% you% a% menu% for% all% the% help% available)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 on% topics% beginning% with% the% characters% in% the% atom% Topic%.% % E%.g%.)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 %"help%(a%)%.%"% will% find% all% information% on% topics% beginning% with% the)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 letter% %"a%"%.)
    (call 3 write 1 si)
    (call 3 nl 0 si)
    (call 3 nl 0 si)
    (put.Ai.constant 1 7)
    (call 3 tab 1 si)
    (put.Ai.symbol 1 Type% %"manual%(manual%)%.%"% to% find% out% about% the% on%-line% manual%.)
    (depart write 1 si)
)

STOP