• Lparse

  • Referenced in 44 articles [sw04633]
  • accepted language and generates a variable-free simple logic program that can be given...
  • JSetL

  • Referenced in 7 articles [sw29267]
  • totally unbound) logical objects such as logical variables, logical lists and sets, logical binary relations...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy ... Rules, the two notable extensions to concurrent logic programming. LMNtal is intended...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • many extensions very useful in practice (global variables, OS interface, sockets,...). GNU Prolog also includes ... over Finite Domains (FD). This opens contraint logic programming to the user combining the power...
  • ARA

  • Referenced in 5 articles [sw08504]
  • Reduction Predicate Calculi for n-variable logic (RPC n ) which allow first-order finite variable...
  • KANREN

  • Referenced in 5 articles [sw20083]
  • scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies ... system can be used as a meta-logic system. KANREN works on any computer platform...
  • SOLA-VOF

  • Referenced in 44 articles [sw24125]
  • variable size. SOLA-VOF is an easy-to-use program. Its logical parts are isolated...
  • AQCS

  • Referenced in 15 articles [sw08109]
  • first-order predicate logic containing the following symbols: Variables ranging over the reals, floating point...
  • MLOG

  • Referenced in 2 articles [sw02152]
  • strongly typed confluent functional language with logical variables. A new programming language called MLOG ... conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML ... unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation ... pattern-matching and logical variables. Though the evaluation strategy for the application is fixed...
  • ModLeanTAP

  • Referenced in 19 articles [sw12368]
  • propositional modal logics (where the labels contain free and universal variables), which has been developed ... lean tableau-based prover for first-order logic leanTAP. ModLeanTAP Version 2.0 includes additional search...
  • KeYmaera

  • Referenced in 44 articles [sw03709]
  • real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata ... verification process, KeYmaera implements a generalized free-variable sequent calculus and automatic proof strategies that...
  • Polymath

  • Referenced in 3 articles [sw27593]
  • Excel includes all intrinsic functions and logical variables. Ordered equations can also be provided...
  • MATLANG

  • Referenced in 5 articles [sw39112]
  • graphs. Furthermore, we also establish links to logical equivalence of graphs. In particular, we show ... sentences in the three-variable fragment of first-order logic with counting. Equivalence with regards ... sentences in the two-variable fragment of this logic...
  • Cogent

  • Referenced in 14 articles [sw01300]
  • expressions into propositional logic, and supports finite machine-level variables, bit operations, structures, unions, references...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • XPath. XPath-Logic extends the XPath language with variable bindings and embeds it into first...
  • EasyCheck

  • Referenced in 13 articles [sw09735]
  • usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search...
  • MSVL

  • Referenced in 6 articles [sw31710]
  • define some standard operations in terms of logic functions and predicates. Then, it is feasible ... declaration of program variables and statements of struct definitions as logic formulas. As the implementation...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • read as a sentence of predicate logic. It differs from PROLOG in incorporating parallel modes ... evaluated in parallel with shared variables acting as communication channels for the passing of partial ... introduction to PARLOG. It assumes familiarity with logic programming...
  • AMT

  • Referenced in 13 articles [sw38045]
  • temporal logic Mitl, extended with constructs that allow describing behaviors of real-valued variables...
  • Bedwyr

  • Referenced in 23 articles [sw09460]
  • Syntactic Expressions. Bedwyr is a generalization of logic programming that allows model checking directly ... allow reasoning directly on expressions containing bound variables...