
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 proofcarryingcode system, and a type safety proof for Standard...

YAPProlog
 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 proofchecking program developed at Stanford University ... proof assistant for higher order logic originally developed for reasoning about hardware.2 The multifaceted ... 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 firstorder logic with equality ... equational programming system. Otter is a fourthgeneration 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 frontends 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 orparallelism 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 firstorder learning system...

Jason
 Referenced in 62 articles
[sw06187]
 Programming multiagent systems in AgentSpeak using Jason. Jason is an Open Source interpreter ... extended version of AgentSpeak  a logicbased agentoriented programming language  written in Java ... enables users to build complex multiagent 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 ... constraintbased 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 wellknown inductive logic programming system FOIL with kernel methods. The feature...