S. Tsur, N. Arni, and K. Ong. LDL User's Guide, Edition 2.0, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Efficient Evaluation of Normal Logic Programs - Swift (1994) (3 citations) (Correct)
....each system all necessary data was preloaded into memory before the tests were run. For XSB and CORAL, several iterations were made of each benchmark using SLD in XSB and pipelining in CORAL. Pipelining is a procedural evaluation method provided in CORAL that is similar to SLD) The LDL manual [75] does not mention a pipelining strategy, so the best time of three evaluations was used. Consequently, LDL times are not provided for tests of the smaller datasets where they may be subject to significant noise. For presentation purposes, we normalize LDL times to the number of iterations used ....
S. Tsur, N. Arni, and K. Ong. LDL User's Guide, Edition 2.0, 1993.
Analysis of SLG-WAM Evaluation of Definite Programs - Swift, Warren (7 citations) (Correct)
....evaluation in a bottom up framework. Nevertheless, producing an efficient bottom up engine, that moreover can be smoothly integrated with the procedural power of Prolog is a difficult task that has not yet been completely accomplished, despite such noteworthy efforts as CORAL [8] LDL [4] LDL [17], GLUE NAIL [5] ADITI [18] EKS V1 [19] among others. For in memory deductive database queries, SLG resolution [3, 2] offers an alternative implementation strategy to those based on bottom up evaluation of rewritten programs. SLG is a top down, tuple at a time tabling method which computes the ....
....In all systems all necessary data was preloaded into memory before the tests were run. For XSB and CORAL, several iterations were made of each benchmark using SLD in XSB and pipelining in CORAL. Pipelining is a procedural evaluation method provided in CORAL that is similar to SLD. The LDL manual [17] does not mention such a procedural strategy, so the best time of three evaluations was used. Consequently, LDL times are not provided for tests of the smaller datasets where they may be subject to significant noise. For presentation purposes, we normalize LDL times to the number of iterations ....
S. Tsur, N. Arni, and K. Ong. LDL User's Guide, Edition 2.0, 1993.
Analysis of Sequential SLG Evaluation - Swift, Warren (1994) (7 citations) (Correct)
....for each system slightly because of the differing architectures of the systems. All benches were done on a SPARCstation2, using the timing utilities available for each system. For XSB and CORAL, several iterations were made of each bench using SLD in XSB and pipelining in CORAL. The LDL manual [16] does not mention a pipelining strategy, so the best time of three evaluations was used. Consequently, LDL times are not provided for tests of the smaller datasets where they may be subject to significant noise. For presentation purposes, we normalize LDL times to the number of iterations used ....
S. Tsur, N. Arni, and K. Ong. LDL User's Guide, Edition 2.0, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC