H ? « »

Language peer sets for Pathlog:
Designed 1992
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: France
Designed 1992

Multimodal extensions to Prolog

Related languages
Prolog Pathlog   Extension of

  • Aufray, Y. (1992) Aufray, Y. and P. Enjalbert. Modal theorem proving: an equational viewpoint. To appear in Journal of Logic and Computation, 1992.
  • Debart, F. (1992) Debart, F. ; P. Enjalbert, and M. Lescot. Multimodal logic programming using equational and order-sorted logic. Theoretical Computer Science, 105(1992):141-166, 1992.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Pathloog
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder