• PARLOG

  • Referenced in 39 articles [sw23764]
  • implementation, it distinguishes and separates and- parallel and or-parallel evaluation. PARLOG relations are divided ... solution relation calls can be evaluated in parallel with shared variables acting as communication channels ... solutions may be found by an or-parallel exploration of the different evaluation paths...
  • YAP-Prolog

  • Referenced in 44 articles [sw06948]
  • been the integration of both or-parallelism and tabling in a single logic programming system...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • applying or-parallelism and tabling to logic programs. Logic programming languages, such as Prolog, provide ... subcomputations. Our research demonstrates that implicit or-parallelism is a natural fit for logic programs ... have designed and implemented an or-parallel tabling engine -- OPTYap -- and we used a shared ... environment copying for or-parallelism. Preliminary results indicate that the mechanisms proposed to parallelize search...
  • PARTHEO

  • Referenced in 15 articles [sw09981]
  • prover. PARTHEO, a sound and complete or-parallel theorem prover for first-order logic...
  • YapOr

  • Referenced in 7 articles [sw13882]
  • YapOr: An Or-Parallel Prolog System Based on Environment Copying. YapOr is an or-parallel ... Prolog system to exploit implicit or-parallelism in Prolog programs. It is based...
  • PARTHENON

  • Referenced in 8 articles [sw25434]
  • horn clauses. The paper describes a parallel resolution theorem prover, PARTHENON, which is able ... first general theorem prover based on or-parallel versions of Prolog. As the inference mechanism ... Section 3 discusses various implementations of or-parallelism on shared memory multiprocessors. An overview...
  • PALS

  • Referenced in 9 articles [sw02444]
  • implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes...
  • SPTHEO

  • Referenced in 4 articles [sw21561]
  • detailed description and evaluation of the OR-parallel part are given...
  • PaReDuX

  • Referenced in 1 article [sw21562]
  • parallelizing software for symbolic computation uses search parallelism (OR-parallelism). The goal of the second...
  • VisAll

  • Referenced in 1 article [sw00997]
  • format designed for independent and-parallel plus or-parallel execution in the SBA. Several output...
  • Smodels

  • Referenced in 238 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • LISP

  • Referenced in 126 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer...
  • SICStus

  • Referenced in 106 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...
  • XSB

  • Referenced in 138 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...
  • CAT

  • Referenced in 7 articles [sw13881]
  • CAT: The copying approach to tabling. The SLGWAM...
  • YapTab

  • Referenced in 8 articles [sw13894]
  • YapTab: A Tabling Engine Designed to Support Parallelism...
  • GHC

  • Referenced in 43 articles [sw23765]
  • GHC: Guarded Horn clauses. The thesis introduces the...