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.