[PDF][PDF] Universal quantification and implication in miniKanren
1 INTRODUCTION We present a method for implementing constructive universal
quantification and implication in the constraint logic programming language miniKanren. In …
quantification and implication in the constraint logic programming language miniKanren. In …
Nearly Macro-free microKanren
J Hemann, DP Friedman - International Symposium on Trends in …, 2023 - Springer
We describe changes to the microKanren implementation that make it more practical to use
in a host language without macros. With some modest runtime features common to most …
in a host language without macros. With some modest runtime features common to most …
[图书][B] Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers
S Chang - 2023 - books.google.com
This book constitutes revised selected papers from the 24th International Symposium on
Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12 …
Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12 …
[PDF][PDF] Guarded fresh goals: dependency-directed introduction of fresh logic variables
E Donahue - third miniKanren and Relational Programming …, 2021 - evandonahue.com
The work described in this paper was conducted in the SmallKanren dialect of miniKanren
implemented in Pharo Smalltalk. SmallKanren is a first-order dialect that supports an …
implemented in Pharo Smalltalk. SmallKanren is a first-order dialect that supports an …
Constraint microKanren in the CLP Scheme
J Hemann - 2020 - scholarworks.iu.edu
Programmers in related constraint-logic languages should have language semantics that
span different implementations and enable reasoning generally about the shared parts of …
span different implementations and enable reasoning generally about the shared parts of …
[PDF][PDF] Goals as Constraints: Writing miniKanren Constraints in miniKanren
E DONAHUE - This report aggregates the papers presented at the fifth … - evandonahue.com
We present an extension to the relational programming language miniKanren that allows
arbitrary goals to run efficiently as constraints. With this change, it becomes possible to …
arbitrary goals to run efficiently as constraints. With this change, it becomes possible to …
[PDF][PDF] metaKanren: Towards a Metacircular Relational Interpreter
BR JOSHI, WE BYRD - Relational Programming …, 2021 - tspace.library.utoronto.ca
We motivate the need for a deep relational interpreter for a miniKanren language, and then
present metaKanren, a 𝜇Kanren-like language for which we have implemented a deep …
present metaKanren, a 𝜇Kanren-like language for which we have implemented a deep …