• Maude

  • Referenced in 666 articles [sw06233]
  • language and system supporting both equational and rewriting logic specification and programming for a wide...
  • XSB

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

  • Referenced in 67 articles [sw08333]
  • efficiency far in excess of existing logic programming systems, and close to conventional programming systems...
  • Twelf

  • Referenced in 169 articles [sw06888]
  • prove properties of deductive systems such as programming languages and logics. Large research projects using ... assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard...
  • YAP-Prolog

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

  • Referenced in 238 articles [sw04631]
  • Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... normal logic programs. The basic idea of ASP is to encode the constraints...
  • ASSAT

  • Referenced in 168 articles [sw02524]
  • solvers) is a system for computing answer sets of a logic program by using...
  • LCF

  • Referenced in 157 articles [sw08360]
  • history. The original LCF system was a proof-checking program developed at Stanford University ... proof assistant for higher order logic originally developed for reasoning about hardware.2 The multi-faceted ... programming language underlying it and the innovative polymorphic type system used both ... logics. Code Milner wrote is still in use today, and the design of the hardware...
  • OBJ3

  • Referenced in 138 articles [sw05370]
  • program specification and proof system based on order sorted equational logic. It has been successfully ... first language to implement parameterized programming and its module system influenced the designs...
  • Aleph

  • Referenced in 48 articles [sw12108]
  • 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 ... functionality of several other ILP systems. Some of these of relevance to Aleph are: CProgol...
  • OTTER

  • Referenced in 314 articles [sw02904]
  • deduction system Otter is designed to prove theorems stated in first-order logic with equality ... equational programming system. Otter is a fourth-generation Argonne National Laboratory deduction system whose ancestors ... research in abstract algebra and formal logic. Otter and its predecessors have been used...
  • Cmodels

  • Referenced in 66 articles [sw04435]
  • system that computes answer sets for either disjunctive logic programs or logic programs containing choice ... models of the logic program -- possible solutions, in case of disjunctive programs SAT solver zChaff ... verifying the minimality of found models. The system Cmodels is based on the relation between ... completion semantics for logic programs. For big class of programs called tight, the answer...
  • CCalc

  • Referenced in 75 articles [sw09899]
  • actions (University of Texas, 1997). Now the system is being maintained by Texas Action Group ... CCalc is related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability...
  • DLV

  • Referenced in 30 articles [sw04640]
  • deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced ... Technology). The system supports a language based on a logical formalisms with a very high ... expressive power so that programs are able to represent relevant practical problems in presence ... contradictory knowledge. The first release of the system became available in 1997, after several years...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • programming. Logic Programming offers great potential for implicit parallelism, thus allowing parallel systems to often ... resolution -- often limits the potential of the logic programming paradigm. The past years have therefore ... parallel tabling engine for logic programming systems. OPTYap builds on Yap’s efficient sequential Prolog ... applying or-parallelism and tabling to logic programs the range of applications for Logic Programming...
  • FOIL

  • Referenced in 31 articles [sw24694]
  • Induction of logic programs: FOIL and related systems. FOIL is a first-order learning system...
  • Jason

  • Referenced in 62 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason. Jason is an Open Source interpreter ... extended version of AgentSpeak -- a logic-based agent-oriented programming language -- written in Java ... enables users to build complex multi-agent systems that are capable of operating in environments...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • been used under the name ETPS in logic courses at Carnegie Mellon for a number ... some complete examples) and playing with the system. The student using ETPS issues commands ... program thus allows students to concentrate on the essential logical problems underlying the proofs ... Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof...
  • ARMC

  • Referenced in 27 articles [sw04949]
  • industrial software systems. Its distinguishing characteristics lie in the way it applies logical reasoning ... constraint-based programming language may lead to an elegant and concise implementation of a practical ... investigation. Using a Prolog system together with Constraint Logic Programming extensions as the implementation platform...
  • kFOIL

  • Referenced in 12 articles [sw23358]
  • algorithm integrates the well-known inductive logic programming system FOIL with kernel methods. The feature...