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