Objects in Prolog
- representation -- object(Handler,Class,ID,REF,Ancestors)
- object definition -- class_method(This,...)
- object invocation -- self(This):method(...)
- state variables representation -- value(ID,Key,Value)
- state variable access -- var(Key) = Value, Var = value(key)
- native binding - native(Handler,Method,Result)