Search Results - Functional Logic Programming

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam by Stampoulis, Antonis, Chlipala, Adam

“…We demonstrate how the framework of higher-order logic programming , as exemplified in the λ…”
Get full text

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley by Trancón y Widemann, Baltasar, Lepper, Markus

“… Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java platform, without constraining the underlying object-oriented semantics…”
Get full text

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming by Augustsson, Lennart, Breitner, Joachim, Claessen, Koen, Jhala, Ranjit, Peyton Jones, Simon, Shivers, Olin, Steele Jr, Guy L., Sweeney, Tim

“… In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming…”
Get full text

Functional and logic programming: Selected papers of FLOPS 2022 by Hanus, Michael, Igarashi, Atsushi

Get full text

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming: Preface by Schwarz, Sibylle, Voigtländer, Janis

Get full text

Inferring Non-Failure Conditions for Declarative Programs by Hanus, Michael

Get full text

Declarative Model Transformations with Triple Graph Grammars: Invited Presentation at the 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming by Anjorin, Anthony

Get full text

Singular and plural functions for functional logic programming by RIESCO, ADRIÁN, RODRÍGUEZ-HORTALÁ, JUAN

“…Modern functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CSs…”
Get full text

Implementing a Functional Logic Programming Language via the Fair Scheme by Jost, Andrew Michael

“…This document presents a new compiler for the Functional Logic programming language Curry based on a novel pull-tabbing evaluation strategy called the Fair Scheme…”
Get full text

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language by Mazanek, Steffen, Hanus, Michael

“…In this article we show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the business process modeling notation (BPMN…”
Get full text

From Logic to Functional Logic Programs by HANUS, MICHAEL

“… To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework…”
Get full text

Evaluation strategies for functional logic programming by Antoy, Sergio

“…Recent advances in the foundations and the implementations of functional logic programming languages originate from far-reaching results on narrowing evaluation strategies…”
Get full text

A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Paisley by Baltasar Trancón y Widemann, Lepper, Markus

“… Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java platform, without constraining the underlying object-oriented semantics…”
Get full text

Constraint functional logic programming over finite domains by Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael

“…In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP($\fd…”
Get full text

Functional and (Constraint) Logic Programming by Escobar, Santiago, Falaschi, Moreno

Get full text

Functional answer set programming by CABALAR, PEDRO

“…In this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions…”
Get full text

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism by DYLUS, SANDRA, CHRISTIANSEN, JAN, TEEGEN, FINN

“…This paper presents PFLP , a library for probabilistic programming in the functional logic programming language Curry…”
Get full text

Parallel virtual machine for functional logic programming by Alqaddoumi, Abdulla

“…Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming…”
Get full text

Meta-analysis of the functional neuroimaging literature with probabilistic logic programming by Abdallah, Majd, Iovene, Valentin, Zanitti, Gaston, Wassermann, Demian

“… Here, we expand the scope of neuroimaging meta-analysis by designing NeuroLang: a domain-specific language to express and test hypotheses using probabilistic first-order logic programming…”
Get full text

A proof theoretic approach to failure in functional logic programming by LÓPEZ-FRAGUAS, FRANCISCO J., SÁNCHEZ-HERNÁNDEZ, JAIME

“… The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose fundamental notion is that of non-strict non-deterministic function…”
Get full text