
Maude
 Referenced in 657 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...

Datalog
 Referenced in 281 articles
[sw20023]
 Datalog is a declarative logic programming language that syntactically is a subset of Prolog ... application in data integration, information extraction, networking, program analysis, security, and cloud computing ... date back to the beginning of logic programming, but it became prominent as a separate ... Jack Minker organized a workshop on logic and databases.[2] David Maier is credited with...

Smodels
 Referenced in 238 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 169 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming...

ASSAT
 Referenced in 168 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...

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

ELAN
 Referenced in 108 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...

ZTree
 Referenced in 574 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...

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

Gringo
 Referenced in 94 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...

Cmodels
 Referenced in 66 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...

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

BABEL
 Referenced in 71 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...

Prolog
 Referenced in 68 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...

clasp
 Referenced in 90 articles
[sw07095]
 answer set solver for (extended) normal logic programs. It combines the highlevel modeling capacities...

Twelf
 Referenced in 169 articles
[sw06888]
 deductive systems such as programming languages and logics. Large research projects using Twelf include...

CHIP
 Referenced in 79 articles
[sw03450]
 cuttingstock problem with the constraint logic programming language CHIP...

ProbLog
 Referenced in 80 articles
[sw06945]
 ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available...

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

Aleph
 Referenced in 47 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...