Learn More
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)
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)
  • 1