N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
- 31 December 1985
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 2 (4), 251-283
- https://doi.org/10.1016/s0743-1066(85)80003-0
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984