NU-Prolog(ID:1412/nup002)

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 "Negation and Control in Prolog" Springer­Verlag, LNCS 238 1986 view details
  • Naish, Lee "Negation and quantifiers in NU-­Prolog" pp624-634 view details
          in Proceedings 3rd International Conference on Logic Programming, New York, 1986, Springer-Verlag view details
  • Naish, Lee "Parallelizing NU-Prolog" view details
          in Logic Programming: Proc. 5th Int. Conf. and Symposium, R.A. Kowalski, and K.A. Bowen (eds.), Seattle, Washington view details
  • Thom, J.A. et al eds, "NU-Prolog Reference Manual - Version 1.3", TR 86/10, U Melbourne (1988). view details
          in Logic Programming: Proc. 5th Int. Conf. and Symposium, R.A. Kowalski, and K.A. Bowen (eds.), Seattle, Washington view details
    Resources
    • info
      i