
als(++PredSpec)

   Outputs the abstract code for the compiled predicate PredSpec.



Arguments
   PredSpec            Atom/Integer or just Atom.

Type
   Predicate Database and Compiler

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 --- PredSpec is not instantiated.
     5 --- 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
   asm : disasm / 2
