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.

 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.

 pce_register_class(Arg1)

 pce_extended_class(Arg1)