Giovanna M. Dore, Philippe Codognet. A Prototype Compiler for Prolog with Boolean Constraints. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 157-172, 1993.
@inproceedings{DoreC93,
title = {A Prototype Compiler for Prolog with Boolean Constraints},
author = {Giovanna M. Dore and Philippe Codognet},
year = {1993},
tags = {Prolog, constraints, compiler},
researchr = {https://researchr.org/publication/DoreC93},
cites = {0},
citedby = {0},
pages = {157-172},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}