.TL Distributed Logic Programming as a tool for the specification and implementation of Object Oriented Systems .AU A. Eliëns .AI \VU .AB .so ab .AE \tableofcontents