[ 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