H ? « »

Language peer sets for Modal Prolog:
Designed 1987
1980s languages
Fifth generation
Late Cold War
Genus Horn clause
String and List Processing
Horn clause
Data representation
Horn clause/1987
Context-based /1987
Data representation/1987
Horn clause/Japan
Context-based /Japan
Data representation/Japan
String and List Processing
String and List Processing/1987
String and List Processing/jp

Modal Prolog(ID:6838/mod035)

alternate simple view
Country: Japan
Designed 1987
Genus: Horn clause
Sammet category: String and List Processing

Extensions to prolog for express modularity, hierarchy, and/or structure

Related languages
Prolog Modal Prolog   Extension of

  • Sakakibara, Y. (1987) Sakakibara, Y. Programming in modal logic: An extension of PROLOG based on modal logic. In E. Wada, editor, Logic Programming'86, volume 264 of LNCS, pp. 81-91. Springer-Verlag, 1987.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Modal Prolog
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder