A comparison of three PROLOG extensions
- 1 January 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 12 (1-2) , 25-50
- https://doi.org/10.1016/0743-1066(92)90038-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Near-Horn Prolog and beyondJournal of Automated Reasoning, 1991
- Non-Horn clause logic programming without contrapositivesJournal of Automated Reasoning, 1988
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failureThe Journal of Logic Programming, 1985
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- A simplified problem reduction formatArtificial Intelligence, 1982