MProlog: An Extension of Prolog for Modal Logic Programming

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. Fariñas del Cerro, L.: Molog: A system that extends Prolog with modal logic. New Generation Computing 4, 35–50 (1986)

   Article  MATH  Google Scholar 

3. Nguyen, L.A.: A fixpoint semantics and an SLD-resolution calculus for modal logic programs. Fundamenta Informaticae 55(1), 63–100 (2003)

   MATH  MathSciNet  Google Scholar 

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 http://www.mimuw.edu.pl/~nguyen/papers.html

5. Nguyen, L.A.: Source files, calculi, and examples of MProlog (2004), Available on Internet at http://www.mimuw.edu.pl/~nguyen/mprolog

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)

   Chapter  Google Scholar 

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)

   Chapter  Google Scholar 

Download references