Towards a unified theory of intensional logic programming
- 1 August 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 13 (4) , 413-440
- https://doi.org/10.1016/0743-1066(92)90055-8
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Towards a unified theory of intensional logic programmingThe Journal of Logic Programming, 1992
- Temporal logic programmingJournal of Symbolic Computation, 1989
- B. C. Moszkowski. Executing temporal logic programs. Cambridge University Press, Cambridge etc. 1986, xiii + 125 pp.The Journal of Symbolic Logic, 1988
- Enumeration operators and modular logic programmingThe Journal of Logic Programming, 1987
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986
- Top-down semantics of fair computations of logic programsThe Journal of Logic Programming, 1985
- Logic for problem solvingACM SIGSOFT Software Engineering Notes, 1982
- Formal Philosophy: Selected Papers of Richard MontagueLanguage, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Advice on Modal LogicPublished by Springer Nature ,1970