A Lisp-machine to Implement Prolog

Christian Percebois, Jean-Paul Sansonnet. A Lisp-machine to Implement Prolog. In ICLP. pages 45-51, 1982.

Abstract

Abstract is missing.