• Datalog

  • Referenced in 280 articles [sw20023]
  • language that syntactically is a subset of Prolog. It is often used as a query...
  • GOLOG

  • Referenced in 169 articles [sw02159]
  • situation calculus. A prototype implementation in Prolog has been developed...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • machine of the system is implemented using Prolog technology, but there are some special characteristics ... differing SETHEO from common Prolog systems: a powerful preprocessing module for a reduction...
  • Prolog

  • Referenced in 68 articles [sw06518]
  • Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel ... Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from ... executable can be quite small since GNU Prolog can avoid to link the code ... built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems...
  • XSB

  • Referenced in 137 articles [sw13877]
  • Database system for Unix and Windows. XSB Prolog. It is being developed at a number...
  • SATCHMO

  • Referenced in 96 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The SATCHMO Theorem Prover ... prover was given by a small Prolog-program, which implements a tableau proof procedure...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • MIRANDA) and logic programming (as embodied in PROLOG) in a simple, flexible, and mathematically well ... constructor discipline, well suited to accommodate PROLOG terms and HOPE-like patterns. From the syntactical ... point of view, BABEL combines pure PROLOG with a first order functional notation...
  • SICStus

  • Referenced in 61 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time ... distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect...
  • ECCE

  • Referenced in 61 articles [sw04196]
  • automatic online program specialiser for pure Prolog programs (with built-ins). It takes a pure ... Prolog program and a query of interest and then specialises the program for that particular...
  • YAP-Prolog

  • Referenced in 42 articles [sw06948]
  • prolog system. Yet another Prolog (YAP) is a Prolog system originally developed ... used in YAP to achieve an efficient Prolog engine. Second, most logic programming systems have...
  • ProbLog

  • Referenced in 77 articles [sw06945]
  • probabilistic logic programming language based on Prolog. Two ProbLog implementations are available, based...
  • SWI-Prolog

  • Referenced in 36 articles [sw20950]
  • Prolog. SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise ... environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide ... range of ideas developed in the Prolog community and acting as glue between foreign resources ... glue between technical articles on SWI-Prolog, providing context and experience in applying them over...
  • TOY

  • Referenced in 55 articles [sw09812]
  • compilation of TOY programs into Prolog...
  • leanTAP

  • Referenced in 38 articles [sw09985]
  • leanTAP revisited. The Prolog program leanTAP is a theorem prover for first order logic that ... transforms the sequent calculus back into a Prolog program. Doing this, he arrives...
  • NRL

  • Referenced in 34 articles [sw12158]
  • prototype special-purpose verification tool, written in Prolog, that has been developed for the analysis ... also show how our use of the Prolog language benefited us in the design...
  • MPTP 0.2

  • Referenced in 43 articles [sw02589]
  • implemented in about 1,300 lines of Prolog. All these changes have made MPTP more...
  • GHC

  • Referenced in 43 articles [sw23765]
  • subset of GHC on top of Prolog. GHC has lost the completeness as a theorem...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • source-to-source transformation tasks on (Ciao) Prolog programs. These tasks include: Inference of properties...
  • CLAM

  • Referenced in 39 articles [sw19619]
  • Cornell NuPRL system, but implemented in Prolog. CLAM is a meta-level system built...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • sentence of predicate logic. It differs from PROLOG in incorporating parallel modes of evaluation...