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… (More)
Wikipedia

Related topics

Related topics

8 relations
CurryHigher-order programmingInductive programmingMercury
(More)

Broader (2)

Functional programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Functional Logic Programming in Maude
Functional logic programming languages combine the most important features of functional programming languages and logic… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Functional logic programming
Combining the paradigm features of both logic and functional programming makes for some powerful implementations. 
  • figure 1.1
  • figure 2.1
  • figure 3.1
  • figure 3.2
  • figure 3.3
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… (More)
Is this relevant?
2007
2007
Constraint functional logic programming over finite domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP (FD) ) with a lazy… (More)
  • table 1
  • table 4
  • table 5
  • table 6
  • table 8
Is this relevant?
2005
2005
Constraint Functional Logic Programming Revisited
In this paper we propose a new generic scheme CFLP (D), intended as a logical and semantic framework for lazy Constraint… (More)
Is this relevant?
2003
2003
Failure and equality in functional logic programming
Constructive failure has been proposed recently as a programming construct useful for functional logic programming, playing a… (More)
  • table 1
  • table 2
  • table 4
Is this relevant?
2001
2001
Polymorphic Types in Functional Logic Programming
The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using… (More)
Is this relevant?
2000
2000
A Functional Logic Programming Approach to Graphical User Interfaces
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user… (More)
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… (More)
  • figure 1
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… (More)
Is this relevant?