• GHC

  • Referenced in 43 articles [sw23765]
  • languages and logic programming in general, with special attention paid to parallelism. The main feature ... extreme simplicity compared with the other parallel programming languages. GHC is a restriction ... classified into the family of logic programming languages, it has close relationship to other formalisms ... standard not only of parallel logic programming languages but of parallel programming languages. Moreover...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • PARLOG: Parallel programming in logic. PARLOG is a logic programming language in the sense that ... sentence of predicate logic. It differs from PROLOG in incorporating parallel modes of evaluation ... solutions may be found by an or-parallel exploration of the different evaluation paths ... PARLOG. It assumes familiarity with logic programming...
  • CoALP

  • Referenced in 20 articles [sw16105]
  • often be described by elegant logic programs, but ones for which SLD-refutation ... lazy corecursive derivations and parallelism, as execution of such logic programs can have both recursive ... dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • applying or-parallelism and tabling to logic programs. Logic programming languages, such as Prolog, provide ... approach to programming. Logic Programming offers great potential for implicit parallelism, thus allowing parallel systems ... first implementation of a parallel tabling engine for logic programming systems. OPTYap builds ... that through applying or-parallelism and tabling to logic programs the range of applications...
  • YAP-Prolog

  • Referenced in 45 articles [sw06948]
  • efficient Prolog engine. Second, most logic programming systems have a rather limited indexing algorithm ... both or-parallelism and tabling in a single logic programming system...
  • SugarCubes

  • Referenced in 8 articles [sw01630]
  • classes for reactive programming in Java. SugarCubes is a set of Java classes for implementing ... particular thread-less ones. Here, parallelism is a logical programming construct to implement activities which...
  • Global Arrays

  • Referenced in 10 articles [sw07425]
  • process in a MIMD parallel program can asynchronously access logical blocks of physically distributed dense ... rather than substitute for the message-passing programming model. The programmer is free ... message-passing paradigms in the same program, and to take advantage of existing message-passing ... Global Arrays programming toolkit to provide high-performance parallel processing...
  • ParForCE

  • Referenced in 1 article [sw01747]
  • formal program analysis and manipulation are applied to central issues relating to parallel execution such ... formal development of parallel logic programs. These tools are then integrated with parallel execution platforms...
  • VisAll

  • Referenced in 1 article [sw00997]
  • logic programming systems is that they allow the transparent exploitation of parallelism ... different forms of parallelism available and the complex nature of logic programming applications present interesting ... tool to visualize the parallel execution of logic programs. VisAll benefits from a modular design ... centered in a graph that represents a parallel execution. A main graphical shell commands...
  • ASMKeY

  • Referenced in 6 articles [sw25427]
  • accesses of locations of an ASM. The logic can be used to prove security properties ... proving refinements of parallel ASMs to sequential C-like programs. The logic is complete...
  • SYGRAF

  • Referenced in 4 articles [sw21247]
  • down implementations of logic programs prevailing so far). The proposed method is sound and complete ... easily lends itself to a parallel implementation and is free of nonlogical features like backtracking ... function symbols are allowed to appear in programs, and it is shown that much ... query optimization can be applied to optimize logic programs. An important advantage of present approach...
  • HASPRNG

  • Referenced in 3 articles [sw06044]
  • number generation with good statistical properties for parallel computational science applications. In order to accelerate ... University Program (XUP) and Cray XD1 reconfigurable computing platforms, HASPRNG includes the reconfigurable logic ... Programmable Gate Arrays (FPGAs) along with a programming interface which performs integer random number generation ... reconfigurable logic of HASPRNG exploiting the mathematical properties and data parallelism residing in the SPRNG...
  • LOIS

  • Referenced in 6 articles [sw21722]
  • parallel. This allows to merge the power of abstract mathematical constructions into imperative programming. Infinite ... using first order formulas over some underlying logical structure, and SMT solvers are employed...
  • Kendo

  • Referenced in 7 articles [sw24074]
  • debug, test, and maintain than sequential programs. This paper introduces Kendo: a new software-only ... system that provides deterministic multithreading of parallel applications. Kendo enforces a deterministic interleaving of lock ... using performance counters to construct a deterministic logical time that is used to compute ... start using Kendo today to program parallel applications that are easier to develop, debug...
  • April

  • Referenced in 3 articles [sw25423]
  • Inductive Logic Programming System. Inductive Logic Programming (ILP) is a Machine Learning research field that ... system called April, capable of exploring several parallel strategies in distributed and shared memory machines...
  • Hornlog

  • Referenced in 6 articles [sw21362]
  • Hornlog) applies to a class of logic programs that is a proper extension ... seems particularly useful for implementation in a parallel environment...
  • JCSP

  • Referenced in 3 articles [sw25045]
  • simplify the construction and programming of dynamically distributed and parallel systems. It provides high-level ... support for CSP architectures, unifying concurrency logic within and between processors. Applications cover all areas...
  • azove

  • Referenced in 12 articles [sw04634]
  • problems can be formulated as $0/1$ integer programs ($0/1$ IPs). The investigation of the structure ... very popular and effective datastructure in computational logics and hardware verification. par We present ... called threshold BDD) and a parallel AND operation on threshold BDDs. In particular our algorithm...
  • Naiad

  • Referenced in 4 articles [sw32529]
  • system for executing data parallel, cyclic dataflow programs. It offers the high throughput of batch ... under- lies Naiad and captures opportunities for parallelism across a wide class of algorithms. This ... enriches dataflow computation with timestamps that represent logical points in the computation and provide ... show that many powerful high-level programming models can be built on Naiad...
  • LOGIDATA+

  • Referenced in 5 articles [sw02123]
  • Systems of the project Information Systems and Parallel Computation, of the Italian research council ... techniques originating from relational databases and logic programming, with contributions from object-oriented programming. Attention...