MOLOG: A modal PROLOG
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 762-763
- https://doi.org/10.1007/bfb0012886
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A note on the complexity of the satisfiability of modal Horn clausesThe Journal of Logic Programming, 1987
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986