Wiki Discussion: Meta interpreter

For examples of predicate_property/2 and module_property/2 see Using listing/N and suc