Molog(ID:5066/mol002)

for Modal Prolog

Modal Logic extensions to Prolog
Related languages
Prolog => Molog   Extension of
Molog => TIM   Extension of
References:
  • Farinas del Cerro, L. A simple deduction method for modal logic. Information Processing Letters, 14(2), pp. 49-51, 1982 view details
  • Farinas del Cerro. L. "Molog: A system that extends Prolog with modal logic" New Generation Computing, (4):35--50, 1986. view details
  • Bricard, M. Une machine abstraite pour compiler MOLOG. Rapport D.E.A., Universit'e Paul Sabatier -- LSI, 1987. view details
  • Balbiani, P. ; L. Farinas del Cerro, and A. Herzig. Declarative semantics for modal logic programs. In Proc. of the 1988 International Conference on Fifth Generation Computer Systems, pp. 507-514. ICOT, 1988 view details
  • Bieber, P. ; L. Farinas del Cerro and A. Herzig; MOLOG: A Modal Prolog (Systems Abstract), In E. Lusk and R. Over-beek (eds), Proc. of the 9th International Conference on Automated Deduction, Argonne, Illinois, May 23-26, 1988, pp.762-763, Springer-Verlag. view details
  • J. M. Alliot and J. Garmendia. Une Implementation en "C" de MOLOG. Rapport D.E.A., Universite Paul Sabatier, Toulouse, France, 1988. view details
  • Balbiani, P. ; A. Herzig, and M. Lima-Marques. TIM: The Toulouse inference machine for non-classical logic programming. In PDK'91: International Workshop on Processing Declarative Knowledge, volume 567 of LNAI, pp. 365-382. Springer-Verlag, 1991 view details
  • Alliot, J-M. ; A. Herzig, and M. Lima-Marques. Implementing Prolog extensions: a parallel inference machine. In Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pp. 833-842. ICOT, 1992 view details
  • Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 view details Extract: Molog
    Molog extends Prolog to a modal logic programming language so that it can express concepts of belief, knowledge, or assumption. The user fixes a modal logic, and defines the rules to deal with modal operators; in this respect, Molog is a framework which can be "instantiated" with particular modal logics. Molog uses a modal resolution method whose roots are in a deduction method for modal logics. Farinas del Cerro [1986] gives another deduction method for S5-Molog based on a technique called compilation.