Abstract | ||
---|---|---|
Logic programming is a mathematical formalism capable of expressing certain classes of problems in a non-procedural manner. Furthermore, logic programs do not presuppose a von Neumann computer architecture and are therefore inherently well suited to parallel computations. In this paper we consider a data-driven model for interpreting logic programs and investigate the architectural requirements necessary to support its implementation. It will be shown that the model is capable of exploiting the capabilities of highly-parallel dataflow architectures. |
Year | DOI | Venue |
---|---|---|
1984 | 10.1145/800015.808197 | ISCA |
Keywords | Field | DocType |
heuristic search,virtual memory,ring network,parallel computer,computer architecture,np hard problems | Computational logic,Dataflow architecture,Programming language,Logic optimization,Computer science,Virtual memory,Parallel computing,Multimodal logic,Dataflow,Logic programming,Von Neumann architecture | Conference |
Volume | Issue | ISBN |
12 | 3 | 0-8186-0538-3 |
Citations | PageRank | References |
6 | 1.63 | 5 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lubomir Bic | 1 | 332 | 125.18 |