Ralf Hinze. Prological Features in a Functional Setting Axioms and Implementation. In Fuji International Symposium on Functional and Logic Programming. pages 98-122, 1998.
@inproceedings{Hinze98, title = {Prological Features in a Functional Setting Axioms and Implementation}, author = {Ralf Hinze}, year = {1998}, tags = {Prolog}, researchr = {https://researchr.org/publication/Hinze98}, cites = {0}, citedby = {0}, pages = {98-122}, booktitle = {Fuji International Symposium on Functional and Logic Programming}, }