
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.




Resatisfiable
      No.

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
