Pages that link to "Item:Q3789106"
From MaRDI portal
The following pages link to A data-dependency-based intelligent backtracking scheme for PROLOG (Q3789106):
Displayed 5 items.
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
- Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423) (← links)
- An improved data-dependency-based backtracking scheme for Prolog (Q1823727) (← links)
- Optimization by non-deterministic, lazy rewriting (Q5055730) (← links)