Sciweavers

JELIA
2004
Springer

The Modal Logic Programming System MProlog

13 years 9 months ago
The Modal Logic Programming System MProlog
Abstract. 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 SLDresolution 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.
Linh Anh Nguyen
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where JELIA
Authors Linh Anh Nguyen
Comments (0)