Modeling Prolog Control
No abstract available.
Related papers
- The Concurrent Language, Shared Prolog TOPLAS 1991
- A Denotational Semantics for Prolog TOPLAS 1989
- Parameter Passing and Control Stack Management in Prolog Implementation Revisited TOPLAS 1996
- Systems Programming in Concurrent Prolog POPL 1984
- A Region-Based Memory Manager for Prolog ISMM 2000
- Memory Management for Prolog with Tabling ISMM 1998
- A Chare Kernel Implementation of a Parallel Prolog Compiler PPoPP 1990
- Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling ESOP 2001