MOLOG: A system that extends PROLOG with modal logic

@article{Cerro1986MOLOGAS,
  title={MOLOG: A system that extends PROLOG with modal logic},
  author={Luis Fari{\~n}as del Cerro},
  journal={New Generation Computing},
  year={1986},
  volume={4},
  pages={35-50}
}
In this paper we present an extension of PROLOG using modal logic. A new deduction method is also given based on a rule closer to the classical inference rule of PROLOG. 

Figures and Topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

Towards a Unified Theory of Intensional Logic Programming

  • J. Log. Program.
  • 1992
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Programming in temporal-nonmonotonic reasoning

  • Journal of Automated Reasoning
  • 1991
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Resolution Modal l o g i c s - Automated reasoning in nonclassical logic,

L. Farifias del Cerro
  • Logique et Analyse (L. Farifias del Cerro and E. Orlowska, eds.),
  • 1985

The metalog problem solving system: an informal presentation,

M. Dincbas
  • Proc. of Logic Programming Workshop,
  • 1980