• BABEL

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language ... functional programming (as embodied in HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied ... combines pure PROLOG with a first order functional notation. On the other side, the language...
  • Curry

  • Referenced in 42 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 ... separated research efforts of the functional and logic programming communities and to boost declarative programming...
  • Ciao

  • Referenced in 47 articles [sw12088]
  • general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming...
  • DLV-EX

  • Referenced in 14 articles [sw04642]
  • embraces many scenarios, such as logic programming with function symbols, object oriented logic languages, inter ... general context. The class of programs having a suitable (but, in general, not decidable) `finite ... specific literature about logic programming with function symbols). Relationships with existing formalisms are eventually discussed...
  • EasyCheck

  • Referenced in 12 articles [sw09735]
  • declarative programs written in the functional logic programming language Curry and emphasize the usefulness...
  • KiCS2

  • Referenced in 10 articles [sw07613]
  • towards a new system to compile functional logic programs of the source language Curry into...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... from functional programming the concept of abstract data types and the function evaluation principle based ... provide strategy constructors to specify whether a function call returns several, at-least ... known paradigm of rewriting provides both the logical framework in which deduction systems...
  • Ivy

  • Referenced in 30 articles [sw10279]
  • Logic. This case study shows how non-ACL2 programs can be combined with ACL2 functions ... programs are checked at run time by ACL2 functions, and properties of these checker functions ... theorem proving for first-order logic. The top ACL2 function takes a conjecture, preprocesses ... conjecture, and calls a non-ACL2 program to search for a proof or countermodel...
  • TOY

  • Referenced in 55 articles [sw09812]
  • programming whose basis is a constructor based rewriting logic with lazy non-deterministic functions ... based on a compilation of TOY programs into Prolog...
  • VeriFast

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

  • Referenced in 94 articles [sw04630]
  • into equivalent propositional logic programs. The answer sets of such programs can be computed ... solver. The third tool, clingo, integrates the functionalities of gringo and clasp, thus, acting...
  • CFLP

  • Referenced in 5 articles [sw18674]
  • single solver. CFLP (Constraint Functional Logic Programming System) is a distributed software system consisting ... functional logic programming interpreter running on one machine and a number of constraint solving engines ... implementation can solve problems expressible in functional logic and involving constraints such as systems...
  • ProbLog

  • Referenced in 77 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available ... different methodology and offering a different functionality. ProbLog1, or briefly ProbLog, focusses on computing...
  • GHC

  • Referenced in 43 articles [sw23765]
  • classified into the family of logic programming languages, it has close relationship to other formalisms ... including dataflow languages, Communicating Sequential Processes, and functional languages for multiprocessing. Except for the lack ... standard not only of parallel logic programming languages but of parallel programming languages. Moreover...
  • Lilac

  • Referenced in 13 articles [sw08983]
  • Lilac: a functional programming language based on linear logic. We take Abramsky’s term assignment ... Linear Logic (the linear term calculus) as the basis of a functional programming language. This...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • modern functional programming languages, and as an expressive standard language for higher-order logic. Distinctive ... features of HasCasl include partial higher-order functions, higher-order subtyping, shallow polymorphism ... functional-imperative programming with generic side effects, including a monad-based generic Hoare logic...
  • HIP

  • Referenced in 25 articles [sw09786]
  • verification of functional correctness of heap manipulating programs. HIP is a separation logic based automated...
  • HiLog

  • Referenced in 47 articles [sw01580]
  • suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order ... terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus ... grammars, higher-order and modular logic programming, and deductive databases...
  • FlatCurry

  • Referenced in 4 articles [sw28856]
  • Curry programs or programs written in another (functional logic) declarative language (e.g., Toy), there ... intermediate language, called FlatCurry, for representing functional logic programs. This document provides an overview about...
  • PFLP

  • Referenced in 2 articles [sw28855]
  • library for probabilistic programming in the functional logic programming language Curry. It demonstrates ... concepts of a functional logic programming language support the implementation of a library for probabilistic ... call-time choice as known from functional logic programming are related to and coincide with ... implementation based on the concepts of functional logic programming can have benefits with respect...