class_superclass/2
class_superclass(?Class, ?Super)
class_superclass(
,
)
Class is an immediate subclass of Super.
class_ancestor/2