Compiling logic programs with equality
- 18 June 2005
- book chapter
- Published by Springer Nature
- p. 387-401
- https://doi.org/10.1007/bfb0024197
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Refined strategies for semantic unificationPublished by Springer Nature ,2005
- A functional and logic language with polymorphic typesPublished by Springer Nature ,1990
- Graph-based implementation of a functional logic languagePublished by Springer Nature ,1990
- An implementation of narrowingThe Journal of Logic Programming, 1989
- Completion-time optimization of rewrite-time goal solvingPublished by Springer Nature ,1989
- Formal specification of a prolog compilerPublished by Springer Nature ,1989
- Compiling conditional rewriting systemsPublished by Springer Nature ,1988
- Computing in Horn Clause TheoriesPublished by Springer Nature ,1988
- Programming in PrologPublished by Springer Nature ,1987
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980