pce_realise:pce_prolog

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.