6.11
Abstract Code Listing
The built-in predicate
als/1
lists the abstract code of the given predicate and it can thus be used by experts to check if the predicate was compiled as expected.