Logic programming with external procedures: introducing S-unification
- 25 March 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 27 (3) , 159-165
- https://doi.org/10.1016/0020-0190(88)90072-5
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The relation between logic and functional languages: a surveyThe Journal of Logic Programming, 1986
- A theory of complete logic programs with equalityThe Journal of Logic Programming, 1984
- A polymorphic type system for prologArtificial Intelligence, 1984
- Horn clause computabilityBIT Numerical Mathematics, 1977