• Maude

  • Referenced in 494 articles [sw06233]
  • supporting both equational and rewriting logic specification and programming for a wide range of applications ... which can be regarded as an equational logic sublanguage. Besides ... supporting equational specification and programming, Maude also supports rewriting logic computation...
  • Smodels

  • Referenced in 211 articles [sw04631]
  • stable model semantics of normal logic programs. The basic idea of ASP is to encode ... constraints of a problem as a logic program such that the answer sets (stable models ... program correspond to the solutions of the problem. Then ... solve the problem by letting a logic program engine to find the answer sets...
  • GOLOG

  • Referenced in 153 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming...
  • ASSAT

  • Referenced in 141 articles [sw02524]
  • computing answer sets of a logic program by using SAT solvers. Briefly speaking, given ... ground logic program P, ASSAT(X), depending on the SAT solver X used, works...
  • XSB

  • Referenced in 121 articles [sw13877]
  • Logic Programming and Deductive Database system for Unix and Windows. XSB Prolog. It is being...
  • ELAN

  • Referenced in 84 articles [sw02179]
  • support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... studying their combination. ELAN takes from functional programming the concept of abstract data types ... known paradigm of rewriting provides both the logical framework in which deduction systems...
  • HOL

  • Referenced in 264 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment in which theorems can be proved...
  • AgentSpeak

  • Referenced in 93 articles [sw06186]
  • programming language. It is based on logic programming and the BDI architecture for (cognitive) autonomous...
  • BABEL

  • Referenced in 65 articles [sw03018]
  • Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language ... HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied in PROLOG) in a simple...
  • Cmodels

  • Referenced in 52 articles [sw04435]
  • computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer ... engine for enumerating models of the logic program -- possible solutions, in case of disjunctive programs ... completion semantics for logic programs. For big class of programs called tight, the answer...
  • Prolog

  • Referenced in 60 articles [sw06518]
  • Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does ... Finite Domains (FD). This opens contraint logic programming to the user combining the power ... constraint programming to the declarativity of logic programming...
  • Z-Tree

  • Referenced in 276 articles [sw11707]
  • that experiments can be developed quickly, and programming experience is not necessary, though useful ... logic of interaction and the visual representation, allowing the simple programming of normal form games...
  • LUPS

  • Referenced in 34 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most of the work conducted ... field of logic programming has focused on representing static knowledge, i.e. knowledge that does ... authors introduced the concept of dynamic logic programming. There, they studied and defined the declarative ... operational semantics of sequences of logic programs (or dynamic logic programs...
  • Gringo

  • Referenced in 44 articles [sw04630]
  • provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo ... grounder capable of translating logic programs provided by users into equivalent propositional logic programs...
  • HiLog

  • Referenced in 35 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming. We describe a novel logic, called HiLog ... provides a more suitable basis for logic programming than does traditional predicate logic. HiLog ... grammars, higher-order and modular logic programming, and deductive databases...
  • Mercury

  • Referenced in 53 articles [sw08333]
  • combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection ... efficiency far in excess of existing logic programming systems, and close to conventional programming systems...
  • CCalc

  • Referenced in 54 articles [sw09899]
  • related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability planning...
  • YAP-Prolog

  • Referenced in 33 articles [sw06948]
  • three important contributions to the logic programming community. First, it describes the main techniques used ... efficient Prolog engine. Second, most logic programming systems have a rather limited indexing algorithm ... parallelism and tabling in a single logic programming system...
  • Aleph

  • Referenced in 29 articles [sw12108]
  • Hypotheses (Aleph). Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended ... Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming...
  • Lparse

  • Referenced in 32 articles [sw04633]
  • Lparse Smodels works with variable-free programs that are quite cumbersome to generate by hand ... generates a variable-free simple logic program that can be given to smodels. Lparse also ... models) by translating them into normal logic programs...