MProlog: An Extension of Prolog for Modal Logic Programming
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be used in MProlog programs. The system contains a number of built-in SLD-resolution calculi for modal logics, including calculi for useful multimodal logics of belief.
- 1.Baldoni, M., Giordano, L., Martelli, A.: A framework for a modal logic programming. In: Joint Int. Conf. and Symp. on Logic Prog., pp. 52–66. MIT Press, Cambridge (1996)Google Scholar
- 4.Nguyen, L.A.: Multimodal logic programming and its applications to modal deductive databases. manuscript (served as a technical report) (2003), available on Internet at http://www.mimuw.edu.pl/~nguyen/papers.html
- 5.Nguyen, L.A.: Source files, calculi, and examples of MProlog (2004), Available on Internet at http://www.mimuw.edu.pl/~nguyen/mprolog