λProlog: An extended logic programming language
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 754-755
- https://doi.org/10.1007/bfb0012882
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Specifying theorem provers in a higher-order logic programming languagePublished by Springer Nature ,2005
- Higher-order logic programmingPublished by Springer Nature ,1986
- Some uses of higher-order logic in computational linguisticsPublished by Association for Computational Linguistics (ACL) ,1986
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- A unification algorithm for typed