Backtracking in independent and-parallel implementations of logic programming languages

In this paper, we present an implementation model which efficiently supports backtracking in an independent and-parallel nondeterministic system. The problem is tackled in the context of logic programming, although the solution proposed is sufficiently general to be easily extended to different nond...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on parallel and distributed systems Vol. 12; no. 11; pp. 1169 - 1189
Main Authors:	Pontelli, E., Gupta, G.
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.11.2001 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Artificial intelligence Benchmarks Computer languages Computer science Constraint optimization Logic programming Mathematical models Optimization Organizations Parallel processing Performance analysis Programming Prolog Prolog (programming language) Search problems Studies
ISSN:	1045-9219, 1558-2183
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!