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