Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

9 relations
CurryHigher-order programmingInductive programmingMercury
Expand

Broader (2)

Functional programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Functional logic programming
Combining the paradigm features of both logic and functional programming makes for some powerful implementations. 
Is this relevant?
2009
2009
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on… Expand
Is this relevant?
2009
2009
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
This paper focuses on the integration of the (also integrated) declarative paradigms of functional-logic and fuzzy-logic… Expand
  • figure 1
Is this relevant?
2001
2001
Polymorphic Types in Functional Logic Programming
The rewriting logic CRWL has been proposed as a semantic frame- work for higher-order functional logic programming, using… Expand
Is this relevant?
2001
2001
Incremental Learning of Functional Logic Programs
In this work, we consider the extension of the Inductive Functional Logic Programming (IFLP) framework in order to learn… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
2001
2001
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
The aim of this paper is to provide theoretical foundations for the declarative debugging of wrong answers in lazy functional… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
A unified computation model for functional and logic programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages… Expand
  • figure 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Optimal Non-deterministic Functional Logic Computations
We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class… Expand
  • figure 1
Is this relevant?
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… Expand
Is this relevant?
1991
1991
Introducing Constraint Functional Logic Programming
A new declarative programming paradigm, constraint functional logic programming (CFLP) is presented, which unifies systematically… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE