Instructors' Guide

Introduction Terminology Expressions Control Objects Inheritance Technology Summary


Syntactically, DLP may be regarded as an extension of Prolog with constructs for parallel object-oriented programming. However, in addition to the familiar Prolog constructs it offers objects as well.

Objects -- a labeled set of clauses


  object name {
  var variables.
  constructor clauses
  method clauses

slide: DLP -- terminology

An object definition or object in DLP is a (labeled) collection of (Prolog) clauses that define the methods supported by the object, and which in addition may contain non-logical variables that are private to each instance. An active object also contains one or more constructor clauses that defines the object's own activity. See slide dlp-term.