Christian Percebois, Jean-Paul Sansonnet
A Lisp-machine to Implement Prolog
ICLP, 1982.
@inproceedings{ILPC-1982-PerceboisS82, author = "Christian Percebois and Jean-Paul Sansonnet", booktitle = "{Proceedings of the First International Logic Programming Conference}", pages = "45--51", publisher = "{ADDP-GIA}", title = "{A Lisp-machine to Implement Prolog}", year = 1982, }