Contemporary compilers must typically handle sophisticated high-level source languages,
generate efficient code for multiple hardware architectures and operating systems, and …

Implementations of domain-specific languages should offer both extensibility and
performance optimizations. With the new syntax-spec metalanguage in Racket …

We present a framework for building CLP languages with symbolic constraints based on
microKanren, a domain-specific logic language shallowly embedded in Racket. We rely on …

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 …

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 …

Natural logics are of interest to both logicians and members of the natural-language
research community. They provide a means of precisely reasoning about aspects of natural …

Programmers in related constraint-logic languages should have language semantics that
span different implementations and enable reasoning generally about the shared parts of …

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 …

Recursive miniKanren is logic programming language which can deal infinite recursive data
structure and a subset of the Scheme language. We define a pattern match macro which can …