DLP
extension of Prolog
(distributed) objects
non-logical instance variables
multiple inheritance
multi-threaded objects
communication by rendez-vous
(synchronization) accept statements
distributed backtracking