• method call - check ID is a REF
  • declaration - call (native) constructor
  • mapping creation and method calls -- through native support
  • native support -- binding: object_handler and query_event
  • native support -- classes: the usual (hush) hierarchy e.g. obscure and kit

slide: Native Objects in Prolog