Katsuhiko Nakamura Associative Evaluation of Prolog Programs. 135-146 1984 Implementations of Prolog db/books/collections/Campbell84.html#Nakamura84