Results 11 to 20 of about 1,138,309 (354)
Singular and plural functions for functional logic programming [PDF]
Theory and Practice of Logic Programming, 2012 AbstractModern functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CSs) as programs in order to define non-strict and non-deterministic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time choice and run-time choice.
Adrián Riesco, Juan Rodríguez-Hortalá
core +5 more sources
Classical Combinatory Logic [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages.
Karim Nour
doaj +6 more sources
Memoized Pull-Tabbing for Functional Logic Programming
Workshop on Functional and Constraint Logic Programming, 2020 Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure. Pull-tab steps are local graph transformations to move non-deterministic choices towards the root of an ...
Michael Hanus, Finn Teegen
openalex +3 more sources
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [PDF]
Theory and Practice of Logic Programming, pages 1-48, 25 February
2019, 2018 Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques.
Bry, François
arxiv +5 more sources
The functional side of logic programming [PDF]
Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95, 1995 In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming just functional programming in disguise? We develop a theory to formally express this correspondence, and exhibit a class that can by right be considered as the functional core
Massimo Marchiori
openalex +3 more sources
A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java ...
Baltasar Trancón y Widemann +1 more
doaj +3 more sources
Functional Logic Programming in Maude [PDF]
Specification, Algebra, and Software, 2014 Functional logic programming languages combine the most important features of functional programming languages and logic programming languages. Functional logic programming applied to the Maude specification language would replace the functional viewpoint by an equational viewpoint while retaining the logic features.
Santiago Escobar
openaire +3 more sources
Constraint Functional Logic Programming over Finite Domains [PDF]
Theory and Practice of Logic Programming, 2006 In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP($\fd$)) with a lazy functional logic programming language which seamlessly embodies finite domain ($\fd$) constraints. This proposal increases the
Antonio J. Fernández +3 more
openalex +3 more sources
Constructive Failure in Functional-Logic Programming: From Theory to Implementation [PDF]
Journal of universal computer science (Online), 2006 Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated feature in logic programming that has not received much attention in such ...
Jaime Sánchez-Hernández
openalex +2 more sources
Logic programming in the context of multiparadigm programming: the Oz experience [PDF]
arXiv, 2002 Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.
Brand, P +6 more
arxiv +4 more sources