We present the design of 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. It is a tool to experiment with applications of modal logic programming to AI.
CITATION STYLE
Nguyen, L. A. (2004). The modal logic programming system MProlog. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3229, pp. 266–278). Springer Verlag. https://doi.org/10.1007/978-3-540-30227-8_24
Mendeley helps you to discover research relevant for your work.