Farinas del Cerro. L. "Molog: A system that extends Prolog with modal logic" New Generation Computing, (4):35--50, 1986.

Languages mentioned

• Molog {1987}