Parallel objects on distributed constraint logic programming machines.
John F. KoegelPublished in: ACM SIGPLAN Notices (1989)
Keyphrases
- constraint logic programming
- constraint solving
- commodity hardware
- logic programming language
- answer set programming
- constraint programming
- distributed systems
- logic programming
- distributed processing
- shared memory
- parallel processing
- parallel machines
- constraint propagation
- d objects
- parallel implementation
- identical machines
- programming paradigms
- global constraints
- artificial intelligence
- temporal reasoning
- proof theoretic
- knowledge base