- Full text PDF available (0)
- This year (0)
- Last 5 years (0)
- Last 10 years (1)
Journals and Conferences
A new implementation (SCKE—Structured Communication Knowledge Entity) has been proposed towards combining the logic- with the object-oriented paradigm of computing. It is intended to explore the advantages in these two paradigms in a structured, natural and efficient manner for large-scale knowledge processing. The SCKE model supports modularity and… (More)
Logic programs offer many opportunities for the exploitation of parallelism. But the parallel execution of a task incurs various overheads. This paper focuses on the issues relevant to parallelizing Prolog on shared-memory multiprocessors efficiently.
In this paper, we present a detection technique of and-parallelism in logic programs. The detection consists of three phases: analysis of entry modes, derivation of exit modes and determination of execution graph expressions. Compared with other techniques[2, 4, 5], our approach, with the compile- time program- level data- dependence analysis of logic… (More)