TAO : A Lisp Dialect with Multiple Paradigms

This paper describes a Lisp dialect TAO which supports Prolog-like logic programming and Smalltalk-like object-oriented programming as well as usual functional and procedural Lisp programming. These programming paradigms are combined and mixed at the level of the language kernel. In user programs they can be mixed in any granularity, fine or coarsely, as the user needs. TAO also provides a set of powerful concurrent primitives by which a simple multiple user and multiple process environment is realized on top of TAO.