Book Chapter
Comparison with related work
Lecture Notes in Computer Science, 1991, Volume 556, Conclog: A Methodological Approach to Concurrent Logic Programming, Pages 449-471
Book Chapter
Parallel logic programming languages
Akikazu Takeuchi and Koichi Furukawa
Lecture Notes in Computer Science, 1986, Volume 225, Third International Conference on Logic Programming, Pages 242-254
Book Chapter
Concurrent constraint programming
Abstract of lecture
Catuscia Palamidessi
Lecture Notes in Computer Science, 1994, Volume 850, Algebraic and Logic Programming, Pages 1-2
Book Chapter
Concurrent constraint programming
Catuscia Palamidessi
Lecture Notes in Computer Science, 1994, Volume 844, Programming Language Implementation and Logic Programming, Pages 1-2
Book Chapter
Making exhaustive search programs deterministic
Kazunori Ueda
Lecture Notes in Computer Science, 1986, Volume 225, Third International Conference on Logic Programming, Pages 270-282
Book Chapter
Introduction
Lecture Notes in Computer Science, 1989, Volume 404, Concepts, Design, and Performance Analysis of a Parallel Prolog Machine, Pages 1-9
Book Chapter
- Fleng Prolog - The language which turns supercomputers into parallel prolog machines
Martin Nilsson and Hidehiko Tanaka
Lecture Notes in Computer Science, 1987, Volume 264, Logic Programming '86, Pages 170-179
Book Chapter
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Kazunori Ueda
Lecture Notes in Computer Science, 2002, Volume 2407, Computational Logic: Logic Programming and Beyond, Pages 51-59
Book Chapter
GHC — A language for a new age of parallel programming
Koichi Furukawa and Kazunori Ueda
Lecture Notes in Computer Science, 1988, Volume 338, Foundations of Software Technology and Theoretical Computer Science, Pages 364-376
Book Chapter
Guarded horn clauses
Kazunori Ueda
Lecture Notes in Computer Science, 1986, Volume 221, Logic Programming '85, Pages 168-179