Logic Programming on ZMOB: A Highly Parallel Machine.
Upen S. ChakravarthySimon KasifMadhur KohliJack MinkerD. CaoPublished in: ICPP (1982)
Keyphrases
- logic programming
- highly parallel
- logic programs
- efficient implementation
- nonmonotonic reasoning
- logic programming language
- answer set programming
- parallel architectures
- deductive databases
- programming language
- computing systems
- single chip
- answer sets
- knowledge base
- default logic
- knowledge representation
- single pass
- general purpose
- constraint logic programming
- stable models
- parallel programming
- parallel processing
- parallel algorithm
- fine grained