Comparative semantics for prolog with cut
- 31 May 1990
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 13 (2-3), 237-264
- https://doi.org/10.1016/0167-6423(90)90072-l
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Step semantics for “true” concurrency with recursionDistributed Computing, 1989
- Metric semantics for concurrencyBIT Numerical Mathematics, 1988
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrencyJournal of Computer and System Sciences, 1988
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- Operational and denotational semantics of prologThe Journal of Logic Programming, 1987
- Logic programming with equationsThe Journal of Logic Programming, 1987
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- A deterministic prolog fixpoint semanticsThe Journal of Logic Programming, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Algorithm = logic + controlCommunications of the ACM, 1979