A prological definition of HASL a purely functional language with unification based conditional binding expressions
- 1 March 1984
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 2 (1), 3-35
- https://doi.org/10.1007/bf03037050
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Metamorphosis grammarsPublished by Springer Nature ,2005
- How to define a language using PROLOGPublished by Association for Computing Machinery (ACM) ,1982
- The semantic elegance of applicative languagesPublished by Association for Computing Machinery (ACM) ,1981
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976