[ 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

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).



See Also

asm : disasm / 2, asm : wam / 1