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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
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
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
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
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
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
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
The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using… (More)
Is this relevant?
2000
2000
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
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
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages… (More)
Is this relevant?