CALL : TACTICAL

CALL is a tactical.
(CALL command) will execute command as if it were entered at the
top level by the user. CALL is used only for side effects, the goal is
always returned.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage