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
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
|