The papers included in this volume were presented at the Workshop on Parallel Logic Programming held as part of the 8th International Conference on Logic Programming. The papers represent the state of the art and report current research, including many new results.
Anthony Beaumont
Mathematical Logic Nicht-deterministische Sprchen Non-deterministic Languages Prallel Processing Prallel-Verarbeitung Testen und Debugging Testing and Debugging logic logic programming programming semantics