pce_realise.pl

pce_begin_class_definition(+ClassName, +Meta, +Super, +Summary): Dummy to allow cross-referencing and other tools to locate class-definitions after term-expansion.
pce_realise_class(+ClassName): Creates `ClassName' from the compiled representation.
pce_prolog_class(?ClassName:atom) is nondet
pce_prolog_class(?ClassName:atom, ?SuperName:atom) is nondet: Is true if ClassName refers to a class defined in Prolog with the given superclass.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.