Constraint Satisfaction in Distributed Concurrent Logic Programming

In constraint logic programming, unification is replaced by more general constraint satisfaction. To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the ‘ask’-constraints with respect to the current c...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of symbolic computation Jg. 21; H. 4; S. 699 - 714
Hauptverfasser:	LEUNG, HO-FUNG, CLARK, KEITH L.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.04.1996
ISSN:	0747-7171, 1095-855X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!