Pascal Brisset, Olivier Ridoux. The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. In Workshop on Design and Impl. of Parallel Logic Programming Systems. 1994. [doi]
@inproceedings{BrissetR94, title = {The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali}, author = {Pascal Brisset and Olivier Ridoux}, year = {1994}, tags = {Prolog, architecture, Pascal}, researchr = {https://researchr.org/publication/BrissetR94}, cites = {0}, citedby = {0}, booktitle = {Workshop on Design and Impl. of Parallel Logic Programming Systems}, }