1. The semantics of predicate logic as a programming language;Emden van;Journal of the ACM,1976
2. A concurrent object-oriented knowledge representation language orient84/k: its features and implementation;Ishikawa,1986
3. Objects in concurrent logic programming languages;Kahn,1986
4. An experience with a Prolog-based object-oriented language;Fukunaga,1986
5. Mandala: a logic based knowledge programming system;Furukawa,1984