1,295 Hits in 5.5 sec

Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking

Nikos Drakos
1989 International Joint Conference on Artificial Intelligence  
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution while remaining faithful  ...  This is achieved with maximum exploitation of parallelism, DDBT, support of opportunistic stream parallelism and potentially parallel backtracking.  ...  Acknowledgements I wish to thank my supervisor Richard Thomas for his support, encouragement and advice. Also thanks to Leyni.  ... 
dblp:conf/ijcai/Drakos89 fatcat:hnlyzsfgujgqbcodzmhw42gqxi

Efficient management of backtracking in AND-Parallelism [chapter]

M. V. Hermenegildo, R. I. Nasr
1986 Lecture Notes in Computer Science  
to avoid unnecessary backtracking ("restricted intelligent backtracking").  ...  the execution speed of logic programs; logic programs in turn offer multiple sources of parallelism T so that concurrency can (ideally) be uncovered automatically (or expressed cleanly) and mapped onto  ...  Forward Execution As explained above, CGE's can be used for reducing run-time data dependency analysis overhead for AND-Parallel logic programming systems to a number of simple checks.  ... 
doi:10.1007/3-540-16492-8_63 fatcat:g5n4w343dvfpnessocrt7fsd7q

KWIC (key word in context)

1984 The Journal of Logic Programming  
[336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  of FGCS [534]New Applications: User and Social Access to PROLOG Database Systems [529]  ...  Backtracking for Logic Programs [486]Selective Backtracking in Plan-based Deduction [381]Intelligent Backtracking Intelligently in And/or Trees [471] Backtracking [481]Selective Backtracking  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

Performance studies of a parallel Prolog architecture

B. S. Fagin, A. M. Despain
1987 Proceedings of the 14th annual international symposium on Computer architecture - ISCA '87  
This architecture is designed to support AND-parallelism, OR-parallelism, and intelligent backtracking.  ...  This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project.  ...  We are grateful for the interaction with the other principal investigators of the Aquarius effort: Professors Yale N. Patt and Vason P. Srini.  ... 
doi:10.1145/30350.30363 dblp:conf/isca/FaginD87 fatcat:virscausn5fg7ngoxu5j6avd5y

And-parallel execution of logic programs on a shared-memory multiprocessor

Yow-Jian Lin, Vipin Kumar
1991 The Journal of Logic Programming  
The execution model is meant for logic programs with "don't-know nondeterrninism", and handles binding conflicts by dynamically detecting dependencies among literals.  ...  t> This paper presents the implementation and performance results of an ANn-parallel execution model of logic programs on a shared-memory multiprocessor.  ...  The authors would like to thank Manuel Hermenegildo for many useful discussions.  ... 
doi:10.1016/0743-1066(91)80003-v fatcat:q2czzi6fevhnbfqluxphpjb23m

Improving the efficiency of nondeterministic independent and-parallel systems

Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
1996 Computer languages  
The results show that ACE exploits and-parallelism with high efficiency and high speedups.  ...  ACE is a computational model for the full Prolog language that simultaneously exploits both or-parallelism and independent and-parallelism.  ...  Introduction Logic Programming and Prolog Logic programming is a programming paradigm where programs are expressed as logical rules [35, 8] .  ... 
doi:10.1016/s0096-0551(96)00010-0 fatcat:dkqf3m5ezfctbjnzdley23vriq

An abstract machine for restricted AND-parallel execution of logic programs [chapter]

M. V. Hermenegildo
1986 Lecture Notes in Computer Science  
However, most proposed parallel logic programming execution models lack the performance optimizations and storage efficiency of sequential systems.  ...  Special instructions are provided to support a generalized version of "Restricted AND-Parallelism" (RAP), a technique which reduces the overhead traditionally associated with the run-time management of  ...  heuristics for the automatic generation of CGE's, and treatment of cut and other side effects, etc.  ... 
doi:10.1007/3-540-16492-8_62 fatcat:sspbjldia5fq7d5etdaevr7omi

The performance of parallel Prolog programs

B.S. Fagin, A.M. Despain
1990 IEEE transactions on computers  
This paper presents performance results for a parallel execution model for Prolog that supports AND-parallelism, oa-parallelism, and intelligent backtracking.  ...  The results show that restricted ANo-parallelism is of limited benefit for small programs, but produced speedups from 7 to 10 on two large programs. on-parallelism was generally not found to be useful  ...  Index Terms-AND-parallelism, intelligent backtracking, logic programming, OR-parallelism, parallel symbolic computing, Prolog, supermultiplicative phenomena. I.  ... 
doi:10.1109/12.61072 fatcat:rdeiqbw3pvcqhnkks2bzhm4fau

A KWIC (key word in context) bibliography on prolog and logic programming

MichaelD. Poe, Roger Nasr, Janet Potter, Janet Slinn
1984 The Journal of Logic Programming  
An annotated and highlv cross-indexed . 213-230. [304] Kahn, K.  ...  ., Intelligent Backtracking for an Intermeter of Horn Clause Logic Programs, l-Jan-78, Mathematical Logic in Computer Sc&ce (Hungary), 215-258, vol. 26. [67] Bruynooghe, M., Pereira, L.  ... 
doi:10.1016/0743-1066(84)90024-4 fatcat:2gu3gjro25dwnjsumd2cuyrlhe

Designing a high performance parallel logic programming system

M. V. Hermenegildo, R. A. Warren
1987 SIGARCH Computer Architecture News  
The research presented herein is geared towards providing additional performance to logic programs through the use of parallelism, while preserving the conventional semantics of logic languages.  ...  Two áreas to which special attention is given are the preservation of sequential performance and storage efficiency, and the use of low overhead mechanisms for controlling parallel execution.  ...  analysis of the source program (which can be aided by user annotations) are being used as the basis for the design of a tool for the automatic annotation of Prolog programs with CGE's.  ... 
doi:10.1145/25372.25377 fatcat:3ol4sv2g5ncjbfepr6klr2gx5m

Parallel execution of prolog programs: a survey

Gopal Gupta, Enrico Pontelli, Khayri A.M. Ali, Mats Carlsson, Manuel V. Hermenegildo
2001 ACM Transactions on Programming Languages and Systems  
Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs.  ...  Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel  ...  Execution models for independent and-parallelism that exploit limited intelligent backtracking [Hermenegildo and Nasr 1986; ] as well as those that employ fully intelligent backtracking [Lin 1988; Codognet  ... 
doi:10.1145/504083.504085 fatcat:7dms2hz5mzdsjezpgu2jnf4dsa

A Segment-Swapping Approach for Executing Trapped Computations [chapter]

Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2012 Lecture Notes in Computer Science  
Backtracking over non-deterministic parallel goals runs into the wellknown trapped goal and garbage slot problems.  ...  The proposed solutions for these problems generally require complex low-level machinery which makes systems difficult to maintain and extend, and in some cases can even affect sequential execution performance  ...  of tabling, swapping evaluation, or intelligent backtracking.  ... 
doi:10.1007/978-3-642-27694-1_11 fatcat:7ts2ojjyynamdnsnihl4xelpiu

Optimization schemas for parallel implementation of non‐deterministic languages and systems

Gopal Gupta, Enrico Pontelli
2001 Software, Practice & Experience  
The effectiveness of these schemas is illustrated by applying them to the ACE parallel logic programming system.  ...  Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language) can result in poor performance  ...  Figure 1 illustrates an and-or tree for a logic program (`&' in the program stands for parallel conjunction).  ... 
doi:10.1002/spe.405 fatcat:z5y3twzfinbl5lnxel6ggaizka


2000 International journal on artificial intelligence tools  
The paper describes an abstract instruction set for the distributed version of the associative logic programming and the corresponding implementation.  ...  The knowledge is represented using facts and rules in an associative logic-programming model.  ...  The authors also acknowledge Greg Follen and other researchers and NASA administration for useful discussions and continued support of this project.  ... 
doi:10.1142/s0218213000000227 fatcat:7mknubcjibapni4py3avhcx3um

Overview of DASWAM: Exploitation of dependent and-parallelism

Kish Shen
1996 The Journal of Logic Programming  
with the techniques needed for suspending and waking up of goals.  ...  The Dynamic Dependent And-parallel Scheme (DDAS) is a parallel execution scheme for Prolog that is designed to exploit independent and dependent and-parMlelism in full Prolog programs.  ...  Logic programming languages provide many opportunities for parallel execution.  ... 
doi:10.1016/s0743-1066(96)00079-9 fatcat:77vouyh6xnajdaryrkhikeevt4
« Previous Showing results 1 — 15 out of 1,295 results