Archlog: High-Level Synthesis of Reconfigurable Multiprocessors for Logic Programming.
Andreas FidjelandWayne LukPublished in: FPL (2006)
Keyphrases
- logic programming
- high level synthesis
- parallel architecture
- hardware implementation
- logic programs
- parallel processing
- deductive databases
- nonmonotonic reasoning
- distributed memory
- knowledge representation
- knowledge base
- programming language
- efficient implementation
- answer set programming
- logic programming language
- shared memory
- computational logic
- answer sets
- inductive logic programming
- parallel implementation
- signal processing
- constraint logic programming
- stable models
- default logic
- general purpose
- reasoning about actions
- normal logic programs
- background knowledge
- information systems
- artificial intelligence
- parallel algorithm
- design space exploration
- disjunctive logic programming