Multi-modal logic programming using equational and order-sorted logic
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Multi-modal logic programming using equational and order-sorted logicPublished by Springer Nature ,1990
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986
- Unification in many-sorted equational theoriesPublished by Springer Nature ,1986
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984