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