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 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akama, S.: A Meta-Logical Foundation of Modal Logic Programming. 1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi, 215, Japan (December 1989)
Balbiani, P., Fariñas del Cerro, L., Herzig, A.: Declarative Semantics for Modal Logic Programs. In: Proceedings of the 1988 International Conference on Fifth Generation Computer Systems, ICOT, pp. 507–514 (1988)
Baldoni, M., Giordano, L., Martelli, A.: A Framework for a Modal Logic Programming. In: Joint International Conference and Symposium on Logic Programming, pp. 52–66. MIT Press, Cambridge (1996)
Fariñas del Cerro, L.: MOLOG: A System that Extends PROLOG with Modal Logic. New Generation Computing 4, 35–50 (1986)
Debart, F., Enjalbert, P., Lescot, M.: Multimodal Logic Programming Using Equational and Order-Sorted Logic. Theoretical Computer Science 105, 141–166 (1992)
Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1999)
Garson, J.: Quantification in Modal Logic. In: Guenthner, F., Gabbay, D. (eds.) Handbook of Philosophical Logic, vol. II, pp. 249–307 (1999)
Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Nguyen, L.A.: A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. Fundamenta Informaticae 55(1), 63–100 (2003)
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
Nguyen, L.A.: Source Files, Calculi, and Examples of MProlog (2004), available on Internet at http://www.mimuw.edu.pl/~nguyen/mprolog
Nonnengart, A.: How to Use Modalities and Sorts in Prolog. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol. 838, pp. 365–378. Springer, Heidelberg (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nguyen, L.A. (2004). The Modal Logic Programming System MProlog. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive