H ? « ‹ ← → › »

Language peer sets for NU-Prolog:
Australia↑
Australia/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1988↑
Context-based /1988↑
Data representation/1988↑
Horn clause/Australia↑
Context-based /Australia↑
Data representation/Australia↑
String and List Processing ↑
String and List Processing/1988↑
String and List Processing/au ↑

NU-Prolog(ID:1412/nup002)

alternate simple view
Country: Australia
Designed 1988
Published: 1988
Genus: Horn clause
Sammet category: String and List Processing

L. Naish, U Melbourne. A Prolog with 'when' declarations, the successor to MU-Prolog. Type-checked.
Related languages
MU-Prolog → NU-Prolog   Evolution of
NU-Prolog → Aditi   Extension of
NU-Prolog → Andorra   Strong, Influence
NU-Prolog → BeBOP   Target language for
NU-Prolog → NUE-Prolog   Extension of
NU-Prolog → NUOO-Prolog   Extension of
NU-Prolog → PNU-Prolog   Extension of
References:
  • Naish, Lee (1986) Naish, Lee "Negation and Control in Prolog" Springer­Verlag, LNCS 238 1986
  • Naish, Lee (1986) Naish, Lee "Negation and quantifiers in NU-­Prolog" pp624-634
          in [Proceedings] (1986) Proceedings 3rd International Conference on Logic Programming, New York, 1986, Springer-Verlag
  • Naish, Lee (1988) Naish, Lee "Parallelizing NU-Prolog"
          in Logic Programming: Proc. (1988) Logic Programming: Proc. 5th Int. Conf. and Symposium, R.A. Kowalski, and K.A. Bowen (eds.), Seattle, Washington
  • Thom, J.A. et al eds, (1988) Thom, J.A. et al eds, "NU-Prolog Reference Manual - Version 1.3", TR 86/10, U Melbourne (1988).
          in Logic Programming: Proc. (1988) Logic Programming: Proc. 5th Int. Conf. and Symposium, R.A. Kowalski, and K.A. Bowen (eds.), Seattle, Washington
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder