Programming in modal logic: An extension of PROLOG based on modal logic
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986
- Meta-level programming and knowledge representationNew Generation Computing, 1985