An extended Warren abstract machine for the execution of structured logic programs
- 30 November 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 14 (3-4) , 187-222
- https://doi.org/10.1016/0743-1066(92)90011-q
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A Knowledge-Based Assistant for Real-Time Planning and Recovery in Automatic Train Protection SystemsPublished by Taylor & Francis ,2018
- Partial deduction for structured logic programmingThe Journal of Logic Programming, 1993
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Implementation studies for a VLSI Prolog coprocessorIEEE Micro, 1989
- Clausal intuitionistic logic I. fixed-point semanticsThe Journal of Logic Programming, 1988
- An experience with a Prolog-based object-oriented languageACM SIGPLAN Notices, 1986
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984