[ ECLiPSe Predicate Database built-in.|Group Index| Full 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.

Fail Conditions

Fails if PredSpec is not a predicate compiled into the WAM.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
PredSpec is not instantiated.
(5) Type error
PredSpec is not of the form Atom/Integer or Atom.
(60)
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

library asm