• Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • power of constraint programming to the declarativity of logic programming...
  • Curry

  • Referenced in 45 articles [sw08981]
  • logic language. Functional and logic programming are the most important declarative programming paradigms, and interest ... over the last decade. However, integrated functional logic languages are currently not widely used. This ... functional and logic programming communities and to boost declarative programming in general...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs ... sets of priorities. The role of dynamic logic programming is to employ the mutual relationships ... precisely determine, at any given state, the declarative and procedural semantics of their combination ... concrete situations, is a sequence of logic programs built? For instance, in the domain...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • Declarative debugging of rewriting logic specifications. Declarative debugging is a semi-automatic technique that starts ... find the error. Membership equational logic (MEL) is an equational logic that in addition ... sorts with the equational subset of rewriting logic, and rewrites and sets of reachable terms ... declarative debugger for Maude, a high-performance system based on rewriting logic. We illustrate...
  • DPPD

  • Referenced in 14 articles [sw09884]
  • library contains benchmarks consisting of declarative logic programs, together with descriptions on the particular specialisation...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • description and retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • declarative nondeterministic constraint logic language over finite domains based on the cc framework...
  • TOY

  • Referenced in 56 articles [sw09812]
  • framework for declarative programming whose basis is a constructor based rewriting logic with lazy...
  • Isar

  • Referenced in 144 articles [sw04599]
  • Isar/VM interpreter. Compared to existing declarative theorem proving systems (like Mizar), Isar avoids several shortcomings ... quite independent of the underlying logic, and integrates a broad range of automated proof methods...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • program verifier. This note describes a separation-logic-based approach for the specification and verification ... pointer-manipulating imperative programs. The programmer may declare inductive datatypes and primitive recursive functions ... abstract representation of memory as a separation logic assertion. Folding or unfolding abstract predicate assertions...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • optimization problems. This paper presents a logic language for expressing 𝒩𝒫 search and optimization problems ... problems, expressed by means of a declarative logic language, with the efficiency of the ILOG...
  • TopLog

  • Referenced in 10 articles [sw02010]
  • TopLog: ILP using a logic program declarative bias. This paper introduces a new Inductive Logic ... logic program called top theory (⊤). The top theory can be viewed as a declarative bias...
  • Locales

  • Referenced in 41 articles [sw12448]
  • changed if declared relations between locales do not adequately reflect logical relations, which are implied...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • Prolog, provide a high-level, declarative approach to programming. Logic Programming offers great potential ... resolution -- often limits the potential of the logic programming paradigm. The past years have therefore ... seen widening efforts at increasing Prolog’s declarativeness and expressiveness. Tabling has proved ... parallelism is a natural fit for logic programs with tabling. To substantiate this belief...
  • Mercury

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

  • Referenced in 5 articles [sw20083]
  • KANREN is a declarative logic programming system with first-class relations, embedded in a pure...
  • FlatCurry

  • Referenced in 4 articles [sw28856]
  • programs written in another (functional logic) declarative language (e.g., Toy), there is an intermediate language...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied in PROLOG) in a simple ... infinite data structures. There is also a declarative semantics, based on Scott domains, which provides...
  • JSetL

  • Referenced in 7 articles [sw29267]
  • JSetL allows the user to use a declarative style of programming inside the popular Java ... create partially specified (or totally unbound) logical objects such as logical variables, logical lists ... used to declare and solve constraints on logical objects. There is a great number...