• Cmodels

  • Referenced in 71 articles [sw04435]
  • either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses ... engine for enumerating models of the logic program -- possible solutions, in case of disjunctive programs...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • been used under the name ETPS in logic courses at Carnegie Mellon for a number ... student using ETPS issues commands to apply rules of inference in specified ways ... checking that the rules can be used in this way. The program thus allows students ... concentrate on the essential logical problems underlying the proofs, and it gives them immediate feedback...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • stated in first-order logic with equality. Otter’s inference rules are based on resolution ... symbolic calculator and has an embedded equational programming system. Otter is a fourth-generation Argonne ... research in abstract algebra and formal logic. Otter and its predecessors have been used...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • rules controlled by strategies. Its purpose is to support the design of theorem provers, logic ... programming languages, constraints solvers and decision procedures and to offer a modular framework for studying ... 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...
  • Lpopt

  • Referenced in 6 articles [sw21595]
  • programs containing variables into variable-free, propositional programs. The size of this grounding depends heavily ... ground rules, and thus, reducing the size of such rules is a promising approach ... lpopt, a tool that decomposes large logic programming rules into smaller rules that are easier...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • associated with declarative languages, such as sets, rules and search, into an imperative (functional) language ... well known and are available under various programming environments, the originality of the CLAIRE language ... concrete and abstract sets (data types and program fragments), in a completely user-extensible manner ... inference compiler transforms a set of logical rules into a set of functions (demons that...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • extended logic programs. Answer set programming (ASP) features a rich rule-based modeling language ... rules form the simplest rule type in the language, various forms of extended rules have ... acts as a filter on ground logic programs produced by grounders, such as gringo ... weight rules, and to rewrite optimization statements using comparable techniques. The produced logic programs...
  • APS

  • Referenced in 29 articles [sw08969]
  • programming system (APS) integrates four main paradigms of computations: procedural, functional, algebraic (rewriting rules ... logical. All of them may be used in different combinations at different levels of implementation...
  • ASPTools

  • Referenced in 3 articles [sw33089]
  • giving them names; drop: delete rules from a program (randomly); igen: add an input generator ... logic program; lpshift: shift disjunctive rules into normal rules; modlist: split logic program into modules ... redundancy of individual rules in a ground logic program (module); rsat: generate a random ... instance as a logic program; shuffle: scramble literals in rules and rules in a program...
  • NoHR

  • Referenced in 5 articles [sw27501]
  • monotonic rules in logic programming. Whereas the need to combine the distinctive features of these ... combination of reasoners dedicated to OWL and rules – but it is also available...
  • GDL

  • Referenced in 23 articles [sw27615]
  • Description Language, or GDL, is a logic programming language[1] designed by Michael Genesereth ... facts, and the game mechanics as logical rules. (wikipedia...
  • Hyperproof

  • Referenced in 25 articles [sw22172]
  • Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical ... sentential information, presenting a set of logical rules for integrating these different forms of information...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • LMNtal as a hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language model ... based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes ... Constraint Handling Rules, the two notable extensions to concurrent logic programming. LMNtal is intended...
  • TCHR

  • Referenced in 5 articles [sw01345]
  • constraint logic programming. It integrates in a light-weight manner Constraint Handling Rules, a high ... level language for constraint solvers, with tabled logic programming. The framework is easily instantiated with...
  • HYPROLOG

  • Referenced in 14 articles [sw02743]
  • HYPROLOG: A new logic programming language with assumptions and abduction. We present HYPROLOG, a novel ... Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • XPath-logic and XPathLog: a logic-programming style XML data manipulation language. We define XPathLog ... Logic extends the XPath language with variable bindings and embeds it into first-order logic ... Horn fragment of XPath-Logic, providing a Datalog-style, rule-based language for querying ... XPath-Logic serves as the base of XPathLog as a logic-programming language, whereas also...
  • ORL

  • Referenced in 8 articles [sw28404]
  • programming approach to building rule lists, which are a type of interpretable, nonlinear, and logical ... sparsity. The flexible framework of mathematical programming allows users to create customized models with...
  • ImpUNITY

  • Referenced in 4 articles [sw01574]
  • associated temporal logic, formal refinement notions, and program transformation rules. In this paper we extend...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute ... given program $P$. Intuitively, an a-coloring reflects the set of generating rules...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • purpose rule-based modeling language for constraint programming. It aims at making constraint programming technology ... modeling combinatorial optimization problems with logical rules and elementary data structures, and by allowing ... Rules2CP compiler transforms Rules2CP statements into constraint programs in different target systems, currently Sicstus-Prolog...