DLP -- introduces logic into object orientation

D

  • DLP = LP + OO + \parll

Design principles -- support for knowledge-based systems

  • objects -- dynamic states
  • processes -- communication by rendezvous
  • distributed backtracking -- exhaustive search

slide: The language DLP