On combining linear-based strategies for tabled evaluation of logic programs

Areias, Miguel; Rocha, Ricardo

doi:10.1017/s147106841100024x

Cited by 4 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since the evaluation of programs with a linear tabling engine is less complex than the evaluation with a suspension-based engine, it would be interesting to study how different linear tabled strategies (Areias and Rocha 2011;Areias and Rocha 2013) could run concurrently and take advantage of the different table space designs presented in this work.…”

Section: Concurrent Linear Tablingmentioning

confidence: 99%

Table space designs for implicit and explicit concurrent tabled evaluation

Areias¹,

Rocha²

2018

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

One of the main advantages of Prolog is its potential for the implicit exploitation of parallelism and, as a high-level language, Prolog is also often used as a means to explicitly control concurrent tasks. Tabling is a powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant subcomputations. Given these advantages, the question that arises is if tabling has also the potential for the exploitation of concurrency/parallelism. On one hand, tabling still exploits a search space as traditional Prolog but, on the other hand, the concurrent model of tabling is necessarily far more complex, since it also introduces concurrency on the access to the tables. In this paper, we summarize Yap's main contributions to concurrent tabled evaluation and we describe the design and implementation challenges of several alternative table space designs for implicit and explicit concurrent tabled evaluation that represent different tradeoffs between concurrency and memory usage. We also motivate for the advantages of using fixed-size and lock-free data structures, elaborate on the key role that the engine's memory allocator plays on such environments, and discuss how Yap's mode-directed tabling support can be extended to concurrent evaluation. Finally, we present our future perspectives toward an efficient and novel concurrent framework which integrates both implicit and explicit concurrent tabled evaluation in a single Prolog engine.

show abstract

Section: Concurrent Linear Tablingmentioning

confidence: 99%

Table space designs for implicit and explicit concurrent tabled evaluation

Areias¹,

Rocha²

2018

Theory and Practice of Logic Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Figure 5 shows the specific structure for the Old Bench Suite resource. The Old Bench Suite resource corresponds to the benchmark suite we have developed in a previous work to ensure YAP's correctness in the context of several improvements and new features added to its tabling engine [19,20]. It contains two sub-folders, one named Auxiliary Files and another named Benchmarks.…”

Section: Cloud-based Architecturementioning

confidence: 99%

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

2017

Self Cite

View full text Add to dashboard Cite

Software testing and benchmarking are key components of the software development process. Nowadays, a good practice in large software projects is the continuous integration (CI) software development technique. The key idea of CI is to let developers integrate their work as they produce it, instead of performing the integration at the end of each software module. In this paper, we extend a previous work on a benchmark suite for the YAP Prolog system, and we propose a fully automated test bench environment for Prolog systems, named Yet Another Prolog Test Bench Environment (YAPTBE), aimed to assist developers in the development and CI of Prolog systems. YAPTBE is based on a cloud computing architecture and relies on the Jenkins framework as well as a new Jenkins plugin to manage the underlying infrastructure. We present the key design and implementation aspects of YAPTBE and show its most important features, such as its graphical user interface (GUI) and the automated process that builds and runs Prolog systems and benchmarks.

show abstract

Batched evaluation of linear tabled logic programs

Areias

Rocha

2013

COMSIS J

View full text Add to dashboard Cite

Logic Programming languages, such as Prolog, provide a highlevel, declarative approach to programming. Despite the power, flexibility and good performance that Prolog systems have achieved, some deficiencies in Prolog?s evaluation strategy - SLD resolution - limit the potential of the logic programming paradigm. Tabled evaluation is a recognized and powerful technique that overcomes SLD?s susceptibility in dealing with recursion and redundant sub-computations. In a tabled evaluation, there are several points where we may have to choose between different tabling operations. The decision on which operation to perform is determined by the scheduling algorithm. The two most successful tabling scheduling algorithms are local scheduling and batched scheduling. In previous work, we have developed a framework, on top of the Yap Prolog system, that supports the combination of different linear tabling strategies for local scheduling. In this work, we propose the extension of our framework to support batched scheduling. In particular, we are interested in the two most successful linear tabling strategies, the DRA and DRE strategies. To the best of our knowledge, no other Prolog system supports both strategies simultaneously for batched scheduling. Our experimental results show that the combination of the DRA and DRE strategies can effectively reduce the execution time for batched evaluation.

show abstract

On combining linear-based strategies for tabled evaluation of logic programs

Cited by 4 publications

References 12 publications

Table space designs for implicit and explicit concurrent tabled evaluation

Table space designs for implicit and explicit concurrent tabled evaluation

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

Batched evaluation of linear tabled logic programs

Contact Info

Product

Resources

About