[ 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

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