A parallel implementation of Flat Concurrent Prolog.
Stephen TaylorShmuel SafraEhud ShapiroPublished in: Int. J. Parallel Program. (1986)
Keyphrases
- parallel implementation
- logic programming
- parallel computation
- expert systems
- distributed memory
- abstract machine
- programming language
- knowledge representation
- theorem proving
- constraint logic programming
- mutual exclusion
- parallel implementations
- knowledge base
- parallel computers
- semantically equivalent
- programming paradigms
- real time
- logic programs
- distributed systems