
LUPS
 Referenced in 36 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...

Smallfoot
 Referenced in 51 articles
[sw09787]
 separation logic. Separation logic is a program logic for reasoning about programs that manipulate pointer ... tool for checking certain lightweight separation logic specifications. The assertions describe the shapes of data ... oriented toward novel aspects of separation logic, namely: avoidance of frame axioms (which say what ... pointers; and modular reasoning about concurrent programs...

YAPProlog
 Referenced in 41 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...

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

Mercury
 Referenced in 64 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...

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

PARLOG
 Referenced in 39 articles
[sw23764]
 programming in logic. PARLOG is a logic programming language in the sense that nearly every ... read as a sentence of predicate logic. It differs from PROLOG in incorporating parallel modes ... PARLOG. It assumes familiarity with logic programming...

Curry
 Referenced in 41 articles
[sw08981]
 truly functional logic language. Functional and logic programming are the most important declarative programming paradigms ... over the last decade. However, integrated functional logic languages are currently not widely used. This ... research efforts of the functional and logic programming communities and to boost declarative programming...

Ltur
 Referenced in 39 articles
[sw11689]
 fundamental problem in the area of logic programming for many reasons. Among these ... design of efficient interpreters for some predicate logicbased languages such as Hornlog ... Gallier and S. Raatz, J. Logic Program. 4, 119155 (1987; Zbl 0641.68145)]. The present...

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

KLONE
 Referenced in 38 articles
[sw28891]
 related to propositional modal logics and logics of programs (such as propositional dynamic logic ... mill modal and program logics. Consequently, the research on tableau algorithms in description logics...

Elf
 Referenced in 38 articles
[sw21361]
 MetaLanguage. Elf is a constraint logic programming language based on the LF Logical Framework ... implementing, and proving properties of programming languages and logics. It has been applied to various...

Clingcon
 Referenced in 29 articles
[sw09892]
 solver for (extended) constraint normal logic programs. It combines the highlevel modeling capacities ... Answer Set Programming (ASP) with constraint solving. Constraints over nonlinear finite ... integers can be used in the logic programs. The primary clingcon algorithm adopts state...

FRIL
 Referenced in 40 articles
[sw18490]
 probability and fuzzy sets. Extends the logic programming form of knowledge representation and method...

CiME
 Referenced in 35 articles
[sw09970]
 Bielefeld university for termination of logic programs; the MUTERM tool (http://www.dsic.upv.es/ slucas/csr/termination/muterm...

ETPS
 Referenced in 145 articles
[sw06302]
 been used under the name ETPS in logic courses at Carnegie Mellon for a number ... 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 ... questions to the teacher without leaving the program. A record of completed exercises is maintained...

LCF
 Referenced in 144 articles
[sw08360]
 Edinburgh LCF. A mechanized logic of computation. From LCF to HOL: a short history ... original LCF system was a proofchecking program developed at Stanford University by Robin Milner ... proof assistant for higher order logic originally developed for reasoning about hardware.2 The multifaceted ... proving, but he also designed the ML programming language underlying it and the innovative polymorphic...

PRISM
 Referenced in 29 articles
[sw23359]
 only a probabilistic extension of logic programs but also able to learn from examples with...

SALSA
 Referenced in 30 articles
[sw02661]
 Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated...

CoALP
 Referenced in 17 articles
[sw16105]
 Coalgebraic logic programming: from semantics to implementation. Coinductive definitions, such as that of an infinite ... often be described by elegant logic programs, but ones for which SLDrefutation ... parallelism, as execution of such logic programs can have both recursive and corecursive features ... dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...