The unification of functional and logic languages-towards constraint functional programming

John Darlington, Yike Guo · Fourth IEEE Region 10 International Conference TENCON · 1989

Explore this paper's citation graph

Type: article
Published: 1989-11-22
Cited by: 8
References: 25
DOI: https://doi.org/10.1109/tencon.1989.176919
OpenAlex: https://openalex.org/W2146478143
Semantic Scholar: https://api.semanticscholar.org/CorpusID:16273154

Keywords

Functional logic programming, Declarative programming, Logic programming, Constraint programming, Fifth-generation programming language

References

On the Relationship Between Logic and Functional LanguagesUday S. Reddy — 1986
Conditional Equational Programming and the Theory of Conditional Term RewritingNachum Dershowitz, Mitsuhiro Okada — 1988
Opening the Prolog III universeAlain Colmerauer — 1987
The Unification of Functional and Logic LanguagesJohn Darlington, A. J. Field, Helen Pull — 1986
Equations, sets, and reduction semantics for functional and logic programmingBharat Jayaraman, Frank S. K. Silbermann — 1986
Functional programing and the logical variableGary Lindstrom — 1985
HOPE: An experimental applicative languageR. M. Burstall, David MacQueen, Donald Sannella — 1980
The definition and implementation of a computer programming language based on constraintsJr. Guy L. Steele — 1980
Constraint logic programmingJoxan Jaffar, J.-L. Lassez — 1987
A fully abstract semantics for a functional language with logic variablesRadha Jagadeesan, Prakash Panangaden, Keshav Pingali — 1989
Equational programmingNachum Dershowitz — 1986
Guarded term ML: A functional logic programming languageLock, H. — 1988
Miranda: A Non-Strict Functional language with Polymorphic TypesDaniel Turner — 1985
Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set AbstractionJ. Darlington, Yike Guo — 1989
How to Prove Algebraic Inductive Hypotheses Without InductionJ. Goguen — 1980
Functional programming with setsB. Jayaraman, D. Plaisted — 1987

Cited by

Rules and strategies for transforming functional and logic programsAlberto Pettorossi, Maurizio Proietti — 1996
Schematic rules within unfold/fold approach to program transformationWei-Ngan Chin, John Darlington — 1989
An improved bottom-up method for implementing equational programming languageQilong Han, Ruzhan Lu, Yongqiang Sun — 2008
Logic Programming with Functions and Predicates: The Language BABELJuan José Moreno-Navarro, Mario Rodríguez-Artalejo — 1992
Ontology RefactoringDavid Ostrowski — 2008
Rule Definition for Managing Ontology DevelopmentD. Ostrowski — 2007
Axiomatization of a Functional Logic LanguageFrançois Bronsard, U. Reddy — 1990
A. Pettorossi, M. Proietti RULES AND STRATEGIES FOR TRANSFORMING FUNCTIONAL AND LOGIC PROGRAMS R. 423 Dicembre 1995A. Pettorossi, M. Proietti — 2009

Related papers

The Promises of Functional ProgrammingKonrad Hinsen — 2009
Functional programming in a parallel environment: the implementation of FP in MDCT. Christopher, D. Ameiss — 1990
The SOF Programming Paradigm: A Sequence of Pure FunctionsAntoine Bossard — 2022
Using genetic programming for the induction of novice procedural programming solution algorithmsNelishia Pillay — 2002
Algorithms and Constraint ProgrammingFabrizio Grandoni, Giuseppe F. Italiano — 2006
Object-oriented programming as the end of history in programming languagesM. H. van Emden — 1997
Real-World Functional Programming: With Examples in F# and C#Tomáš Petříček, Jon Skeet — 2010