Towards banishing the cut from Prolog
- 1 March 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (3) , 335-349
- https://doi.org/10.1109/32.48941
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Functional computations in logic programsACM Transactions on Programming Languages and Systems, 1989
- Automatic mode inference for logic programsThe Journal of Logic Programming, 1988
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Logic programming —Past, present and future—New Generation Computing, 1983
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965