Results 1 to 20 of 285
Sort by:

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

  • SICStus
  • Referenced in 109 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...

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

  • SETHEO
  • Referenced in 122 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...

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

  • Prolog
  • Referenced in 70 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...

  • SATCHMO
  • Referenced in 97 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...

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

  • SWI-Prolog
  • Referenced in 45 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...

  • ECCE
  • Referenced in 62 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 45 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...

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

  • leanTAP
  • Referenced in 40 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...

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

  • 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...

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

  • GHC

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

  • CLAM
  • Referenced in 40 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...