Next: 7.4.8 LISP interface
Up: 7.4 The instructions
Previous: 7.4.6 Special instructions
This instruction must be generated if there is a cut occurring
in the clause except in the first chunk. This implies that there is
more than one chunk and an environment must be existent.
This instruction is used when the cut is in the first chunk
and the first chunk is no pseudochunk. It contains a call
to another procedure and thus is not the only subgoal
in the clause.
This instruction stands for a clause with a cut at the end
of the first and only chunk. (So a call to another procedure is
last_cut is to be used in a clause, which has a chunk (and hence
a call to a procedure) and a cut at the very end of the last
- (cut n)
This instruction represents a cut occurring in a chunk except the
first and the last chunk. The parameter n indicates the size
of the environment used (for trimming).
Harold Boley (email@example.com)