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
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


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

  • 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