H ? « ‹ ← → › »

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

Meta-Logic Prolog(ID:6844/met039)

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

Extensions to Prolog for metalogical modal programming
Related languages
Prolog → Meta-Logic Prolog   Extension of
References:
  • Akama, S. (1989) Akama, S. A meta-logical foundation of modal logic programming. 1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi, 215, Japan, Dec. 1989.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Meta-logical Prolog
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder