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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on parallel and distributed systems Ročník 12; číslo 11; s. 1169 - 1189
Hlavní autori:	Pontelli, E., Gupta, G.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.11.2001 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!