|
36
|
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
– Juliana Freire, Terrance Swift, David S. Warren
- 1996
|
|
474
|
An Abstract Prolog Instruction Set
– D H D Warren
- 1983
|
|
34
|
An Abstract Machine for SLG Resolution: Definite Programs
– Terrance Swift, David S. Warren
- 1994
|
|
7
|
Well-Founded Ordered Search: Goal directed bottom-up evaluation of well-founded models
– Peter J. Stuckey, S. Sudarshany
- 1997
|
|
3
|
User's Guide and Reference Manual. Centro de Informatica da Universidade do
– YAP
- 1989
|
|
7
|
Or-Parallelism within Tabling
– Ricardo Rocha, Fernando Silva, Vítor Santos Costa, Ricardo Rocha Fern, O Silva V'itor Santos Costa
- 1999
|
|
226
|
Tabled Evaluation with Delaying for General Logic Programs
– Weidong Chen, David S. Warren
- 1996
|
|
19
|
Exploiting Parallelism in Tabled Evaluations
– Juliana Freire, Rui Hu, Terrance Swift, David S. Warren
- 1995
|
|
2
|
Combining Scheduling Strategies in Tabled Evaluations
– Juliana Freire, David S. Warren
- 1997
|
|
7
|
Fine-grained goal-directed declarative analysis of logic programs
– D Boulanger
- 1997
|
|
3
|
A new tabling scheme with dynamic reordering of alternatives
– Hai-Feng Guo, G Gupta
- 2000
|
|
11
|
YapOr: an Or-Parallel Prolog System based on Environment Copying
– Ricardo Rocha, Fernando Silva, Vítor Santos Costa, Ricardo Rocha Fern, O Silva V'itor Santos Costa
- 1997
|
|
56
|
Query evaluation under the well-founded semantics
– D Chen, D S Warren
- 1993
|
|
58
|
An abstract machine for tabled execution of fixed-order stratified logic programs
– Terrance Swift
- 1998
|
|
40
|
Efficient Tabling Mechanisms for Logic Programs
– I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren
- 1995
|
|
32
|
CAT: the Copying Approach to Tabling
– Bart Demoen, Konstantinos Sagonas
- 1998
|
|
28
|
CHAT: the Copy-Hybrid Approach to Tabling
– Bart Demoen, Konstantinos Sagonas
- 1999
|
|
28
|
Implementation of a Linear Tabling Mechanism
– Neng-Fa Zhou, Yi-Dong Shen, Li-yan Yuan, Jia-huai You
- 2000
|
|
8
|
Scheduling Speculative Work in MUSE and Performance Results
– Khayri A. M. Ali, Roland Karlsson
- 1992
|
