Flagship: A Parallel Architecture for Declarative Programming.
Ian WatsonViv WoodsPaul WatsonRichard BanachMark Irvine GreenbergJohn SargeantPublished in: ISCA (1988)
Keyphrases
- parallel architecture
- declarative programming
- answer set programming
- logic programming
- logic programs
- parallel processing
- systolic array
- shared memory
- distributed memory
- hardware implementation
- high level synthesis
- parallel implementation
- stable model semantics
- answer sets
- search problems
- synthetic aperture sonar
- knowledge representation
- pattern recognition
- fixpoint
- message passing
- programming language