YapOr: An Or-Parallel Prolog System Based on Environment Copying

Rocha, Ricardo; Silva, Fernando M. A.; Costa, Vítor Santos

doi:10.1007/3-540-48159-1_13

Cited by 17 publications

(25 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Depending on the values of p and q, the required number of steps to measure a given amount of water can range from two steps (in trivial cases) to several dozens of steps. 8 Moreover, the number of potential nodes to explore can range from a few nodes to hundreds of thousands of nodes.…”

Section: Resultsmentioning

confidence: 99%

“…A number of approaches have been proposed to tackle this problem (see e.g [1]). Arguably, the two most successful ones are environment copying, as implemented in the Muse [7] and YapOr [8] systems, and binding arrays, as implemented in the Aurora system [9]. In the environment copying model, each worker maintains its own copy of the environment (stack, heap, trail, etc) in which it can write without causing binding conflicts.…”

Section: Multiple Binding Representationmentioning

confidence: 99%

See 1 more Smart Citation

High Level Thread-Based Competitive Or-Parallelism in Logtalk

Moura

Rocha

Madeira

2008

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. This paper presents the logic programming concept of threadbased competitive or-parallelism, which combines the original idea of competitive or-parallelism with committed-choice nondeterminism and speculative threading. In thread-based competitive or-parallelism, an explicit disjunction of subgoals is interpreted as a set of concurrent alternatives, each running in its own thread. The individual subgoals usually correspond to predicates implementing different procedures that, depending on the problem specifics, are expected to either fail or succeed with different performance levels. The subgoals compete for providing an answer and the first successful subgoal leads to the termination of the remaining ones. We discuss the implementation of thread-based competitive or-parallelism in the context of Logtalk, an object-oriented logic programming language, and present experimental results.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Multiple Binding Representationmentioning

confidence: 99%

High Level Thread-Based Competitive Or-Parallelism in Logtalk

Moura

Rocha

Madeira

2008

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…A grande contribuição do sistema Muse foi o desenvolvimento do ambiente de cópia incremental, desenvolvido para minimizar o overhead de sincronização, fazendo com que cada instância dentro da mesma ramificação de busca possua uma parte consistente de dados e outra com modificações locais, e a sincronização dos dados é feita copiando apenas a diferença entre o local e global. Tal ambiente foi base para o escalonador Bristol [5] e para outro sistema que explora o paralelismo-OU em PROLOG, o YapOr [30].…”

Section: Museunclassified

“…YapOr é um sistema originalmente publicado por Rocha et al [30] que explora o paralelismo-OU em uma extensão do ambiente YAP PROLOG [13].…”

Section: Yaporunclassified

See 1 more Smart Citation

Paralelismo em Prolog: Conceitos e Sistemas

Filho

Silva²

2016

RITA

View full text Add to dashboard Cite

Resumo: Paralelismo é uma área de estudo que cresce a cada dia, devido à redução do custo e popularização de máquinas com arquiteturas paralelas. Nesse contexto, as linguagens lógicas, sobretudo o PROLOG, apresenta uma alternativa viável e prá-tica de paralelismo. A exploração desse paralelismo pode ser realizada de diferentes formas, e há inúmeros desafios nessa tarefa. Este tutorial visa apresentar os principais conceitos de paralelismo em PROLOG, os desafios enfrentados quando se busca a paralelização nessa linguagem e o estado-da-arte do desenvolvimento de sistemas que dão suporte à paralelização em linguagens lógicas. São apresentados sistemas baseados em paralelismo implícito implementados em diferentes plataformas. Ao final é realizada uma comparação entre os sistemas apresentados e os modelos neles implementados.Palavras-chave: prolog, paralelismo, paralelismo-E, paralelismo-OU, parale- lismo implícitoAbstract: Parallelism is a study area that grows up each day, caused by the cost reduction and popularizing of machines with parallels architecture. In this context, the logical languages, especially PROLOG, show a feasible and practical alternative of parallelism. This exploitation can be accomplished of different ways, and are there several challenges on this task. This survey aims to show the main concepts of parallelism in PROLOG, the faced challenges when aims to do parallelism in this language and the state-of-art of systems development to give parallelism support in logical languages. Systems with basis on implicit parallelism developed in different platforms are presented. At the end, is accomplished a comparison between the presented systems and the implemented models by they.

show abstract