N-Prolog: An extension of Prolog with hypothetical implications. I.

D. M. Gabbay, U. Reyle

Research output: Contribution to journalArticlepeer-review

109 Scopus citations


An extension of PROLOG called N-PROLOG is presented. N-PROLOG allows hypothetical implications in the clauses. For clauses without implication, N-PROLOG acts like PROLOG. Examples are given to show the need for N-PROLOG. N-PROLOG is a self-reflecting language; it is equal to its own metalanguage. N-PROLOG is more suitable for expressing temporal behavior (change in time). Ordinary PROLOG is conceptually weaker than N-PROLOG.

Original languageEnglish
Pages (from-to)319-355
Number of pages37
JournalJournal of Logic Programming
Issue number4
StatePublished - Dec 1984


Dive into the research topics of 'N-Prolog: An extension of Prolog with hypothetical implications. I.'. Together they form a unique fingerprint.

Cite this