Yamazaki Kenichi "The Compiler for the Logic Paradigm of TAO"

(1988) IPSJ SIGNotes Symbol manipulation Abstract No.050 - 003  

Languages mentioned TAO {1983} Lisp dialect with concurrency, object-orientation and logic.