
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]
 generalpurpose programming language which supports logic, constraint, functional, higherorder, and objectoriented programming...

DLVEX
 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...

Ivy
 Referenced in 33 articles
[sw10279]
 Logic. This case study shows how nonACL2 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 firstorder logic. The top ACL2 function takes a conjecture, preprocesses ... conjecture, and calls a nonACL2 program to search for a proof or countermodel...

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, atleast ... known paradigm of rewriting provides both the logical framework in which deduction systems...

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

VeriFast
 Referenced in 57 articles
[sw07705]
 program verifier. This note describes a separationlogicbased 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...

ProbLog
 Referenced in 83 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...

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

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...

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

HasCasl
 Referenced in 17 articles
[sw00399]
 modern functional programming languages, and as an expressive standard language for higherorder logic. Distinctive ... features of HasCasl include partial higherorder functions, higherorder subtyping, shallow polymorphism ... functionalimperative programming with generic side effects, including a monadbased generic Hoare logic...

HiLog
 Referenced in 47 articles
[sw01580]
 suitable basis for logic programming than does traditional predicate logic. HiLog has a higherorder ... terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus ... grammars, higherorder 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 ... calltime 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...