H ?
«
‹
←
→
›
»
Language peer sets for Pathlog:
France↑
France/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Pathlog(ID:6845/pat008)
alternate simple view
Country: France
Designed 1992
Multimodal extensions to Prolog
Related languages
References:
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
|