Pathlog(ID:6845/pat008)
Multimodal extensions to Prolog
Related languages
Prolog |
=> |
Pathlog | |
Extension of |
References:
Aufray, Y. and P. Enjalbert. Modal theorem proving: an equational viewpoint. To appear in Journal of Logic and Computation, 1992. view details
Debart, F. ; P. Enjalbert, and M. Lescot. Multimodal logic programming using equational and order-sorted logic. Theoretical Computer Science, 105(1992):141-166, 1992. view details
Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994
view details
Extract: Pathloog When the translation is restricted to Horn clauses, the resulting language is called Pathlog. It is shown that E-.E-resolution is a sound and complete proof procedure for Pathlog. In particular, it is shown that for any given Templog program, there is a corresponding Pathlog program; hence it is suggested that Pathlog can be the target language for "compiling" Templog programs
|