class<-lookup

Documentation
- Reference manual
- Packages
  - XPCE
    - Classes
      - class class
        
        Get methods
        
        class<-convert
        
        class<-send_method
        
        class<-get_method
        
        class<-instance
        
        class<-instance_variable
        
        class<-lookup
        
        class<-no_freed
        
        class<-super_class_name

class <-lookup: name=name, super=[class] -> class

Lookup the name of the class in the hash_table object @classes. If super is specified, class<-lookup verifies the super and generates an error message on a mismatch. This method ensures that

?- get(class(point), instance, 4, 5, P).

Actually returns an instance of the existing class point instead of returning an instance of a new class named point.