N-Prolog(ID:2289/npr001)

Prolog extended with explicit negation.

Dov Gabbay, 1985 Dept. of Comput., Imperial Coll., London, England

Related languages
Prolog => N-Prolog   Evolution of
References:
  • DHD Warren, LM Pereira, FC Perelra "N-Prolog - the language and its implementation compared with Lisp" ACM Symposium on AI and Programming Languages, Rochester, 1977 view details
  • Gabbay, D. M. and Reyle, U., N-Prolog: An Extension of Prolog with HypotheticalImplications. I, Journal of Logic Programming 1:319 ? 355 1984 view details
  • Gabbay, D.M. "N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure" view details
          in J Logic Prog 2(4) (1985) view details
  • Hudelmaier, J "A decision procedure for propositional N-Prolog" Proceedings of the international workshop on Extensions of logic programming 1991 view details
          in J Logic Prog 2(4) (1985) view details
  • Olivetti, N; Terracini, L "N-Prolog and equivalence of logic programs" Journal of Logic Language and Information, 1992 view details
          in J Logic Prog 2(4) (1985) view details
  • Gabbay, DM; Reyle, U "Computation with run time skolemisation (N-Prolog part 3)" Journal of Applied Non-Classical Logics, 1993 view details
          in J Logic Prog 2(4) (1985) view details