MProlog: An Extension of Prolog for Modal Logic Programming

  • Linh Anh Nguyen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3132)


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.


  1. 1.
    Baldoni, M., Giordano, L., Martelli, A.: A framework for a modal logic programming. In: Joint Int. Conf. and Symp. on Logic Prog., pp. 52–66. MIT Press, Cambridge (1996)Google Scholar
  2. 2.
    Fariñas del Cerro, L.: Molog: A system that extends Prolog with modal logic. New Generation Computing 4, 35–50 (1986)zbMATHCrossRefGoogle Scholar
  3. 3.
    Nguyen, L.A.: A fixpoint semantics and an SLD-resolution calculus for modal logic programs. Fundamenta Informaticae 55(1), 63–100 (2003)zbMATHMathSciNetGoogle Scholar
  4. 4.
    Nguyen, L.A.: Multimodal logic programming and its applications to modal deductive databases. manuscript (served as a technical report) (2003), available on Internet at
  5. 5.
    Nguyen, L.A.: Source files, calculi, and examples of MProlog (2004), Available on Internet at
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Orgun, M.A., Ma, W.: An overview of temporal and modal logic programming. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 445–479. Springer, Heidelberg (1994)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Linh Anh Nguyen
    • 1
  1. 1.Institute of InformaticsUniversity of WarsawWarsawPoland

Personalised recommendations