H ? « ‹ ← → › »

Language peer sets for Molog:
France↑
France/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Molog(ID:5066/mol002)

alternate simple view
Country: France
Designed 1987

for Modal Prolog

Modal Logic extensions to Prolog
Related languages
Prolog → Molog   Extension of
Molog → TIM   Extension of
References:
  • Farinas del Cerro, L. (1982) Farinas del Cerro, L. A simple deduction method for modal logic. Information Processing Letters, 14(2), pp. 49-51, 1982
  • Farinas del Cerro. L. (1986) Farinas del Cerro. L. "Molog: A system that extends Prolog with modal logic" New Generation Computing, (4):35--50, 1986.
  • Bricard, M. (1987) Bricard, M. Une machine abstraite pour compiler MOLOG. Rapport D.E.A., Universit'e Paul Sabatier -- LSI, 1987.
  • Balbiani, P. (1988) 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
  • Bieber, P. (1988) 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.
  • J. M. Alliot and J. Garmendia. Une Implementation (1988) J. M. Alliot and J. Garmendia. Une Implementation en "C" de MOLOG. Rapport D.E.A., Universite Paul Sabatier, Toulouse, France, 1988.
  • Balbiani, P. (1991) 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
  • Alliot, J-M. (1992) 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
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Molog
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder