Logic Programming
Lecture Notes in Computer Science, 2004, Volume 3132/2004, 87-116, DOI: 10.1007/978-3-540-27775-0_42

MProlog: An Extension of Prolog for Modal Logic Programming

Linh Anh Nguyen

View Related Documents

Abstract

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.

Fulltext Preview

Image of the first page of the fulltext document