Efficient model generation through compilation
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Minimal model generation with positive unit hyper-resolution tableauxPublished by Springer Nature ,1996
- Memoing evaluation by source-to-source transformationPublished by Springer Nature ,1996
- SETHEO V3.2: Recent developmentsLecture Notes in Computer Science, 1994
- OTTER 3.0 reference manual and guidePublished by Office of Scientific and Technical Information (OSTI) ,1994
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Rete: A fast algorithm for the many pattern/many object pattern match problemArtificial Intelligence, 1982