A microcoded unifier for Lisp machine Prolog (1985)

by M CARLSSON
Venue:In IEEE Proceedings 1985 Symposium on Logic Programming