Deletion of Redundant Unary Type Predicates from Logic Programs
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- A type system for logic programsThe Journal of Logic Programming, 1991
- A polymorphic type system for prologArtificial Intelligence, 1984