H ? « ‹ ← → › »

Language peer sets for N-Prolog:
United Kingdom↑
United Kingdom/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1985↑
Context-based /1985↑
Data representation/1985↑
Horn clause/United Kingdom↑
Context-based /United Kingdom↑
Data representation/United Kingdom↑
String and List Processing ↑
String and List Processing/1985↑
String and List Processing/uk ↑

N-Prolog(ID:2289/npr001)

alternate simple view
Country: United Kingdom
Designed 1985
Published: 1985
Genus: Horn clause
Sammet category: String and List Processing

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 (1977) 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
  • Gabbay, D. (1984) Gabbay, D. M. and Reyle, U., N-Prolog: An Extension of Prolog with HypotheticalImplications. I, Journal of Logic Programming 1:319 ? 355 1984
  • Gabbay, D.M. (1985) Gabbay, D.M. "N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure"
          in (1985) J Logic Prog 2(4) (1985)
  • Hudelmaier, J (1991) Hudelmaier, J "A decision procedure for propositional N-Prolog" Proceedings of the international workshop on Extensions of logic programming 1991
          in (1985) J Logic Prog 2(4) (1985)
  • Olivetti, N; Terracini, L (1992) Olivetti, N; Terracini, L "N-Prolog and equivalence of logic programs" Journal of Logic Language and Information, 1992
          in (1985) J Logic Prog 2(4) (1985)
  • Gabbay, DM; Reyle, U (1993) Gabbay, DM; Reyle, U "Computation with run time skolemisation (N-Prolog part 3)" Journal of Applied Non-Classical Logics, 1993
          in (1985) J Logic Prog 2(4) (1985)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder