Sciweavers

JELIA
2004
Springer
14 years 4 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 featu...
Linh Anh Nguyen
ICLP
2004
Springer
14 years 4 months ago
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 u...
Linh Anh Nguyen