[ Predicate Database and Compiler | Reference Manual | Alphabetic Index ]

als(++PredSpec)

Outputs the abstract code for the compiled predicate PredSpec.

PredSpec: Atom/Integer or just Atom.

Description

If PredSpec is a predicate compiled into a sequence of abstract instructions, this predicate will list on the current output stream this abstract code. The ECLiPSe abstract machine is a modification of the Warren Abstract Machine.

Modes and Determinism

als(++) is semidet

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions

Fails if PredSpec is not a predicate compiled into the WAM

Exceptions

(4) instantiation fault: PredSpec is not instantiated.
(5) type error: PredSpec is not of the form Atom/Integer or Atom.
(60) referring to an undefined procedure: PredSpec does not exist.

Examples

Success:
    [eclipse 1]: als(true).

    true/0 :
            Debug_exit
            Retd


    yes.

Error:
    als(X).                  (Error 4).
    als(a/a).                (Error 5).
    als(undef/3).            (Error 60).