Skip to search formSkip to main contentSkip to account menu

Functional logic programming

Known as: FLP 
Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming (including higher-order… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
CurryHigher-order programmingInductive programmingMercury

Broader (2)

Functional programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Probabilistic Functional Logic Programming
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It… 
2010
2010
The Full Abstraction Problem for Higher Order Functional-Logic Programs
Developing suitable formal semantics can be of great help in the understanding, design and implementation of a programming… 
2007
2007
Inductive Functional Logic Programming
A new framework for the Induction of Functional Logic Programs (IFLP) from facts is presented. This can be seen as an extension… 
2002
2002
Narrowing Failure in Functional Logic Programming
Negation as failure is an important language feature within the logic programming paradigm. The natural notion generalizing… 
2001
2001
Functional Logic Programming with Failure and Built-in Equality ?
Constructive failure has been proposed recently as a programming construct useful for functional logic programming, playing a… 
2000
2000
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for… 
1997
1997
A Higher Order Rewriting Logic for Functional Logic Programming
According to a well known conception, programs in a declarative programming language can be viewed as theories in some suitable… 
1996
1996
Higher-order narrowing with definitional trees
1996
1996
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
In this paper we present the semantics of a functional logic language with parametric and order-sorted polymorphism. Typed… 
1996
1996
Algebraic Semantics for Higher-order Functional-Logic Programming
In this paper we give a semantics of higher-order functional-logic programming in the framework of typed universal algebra. The… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)