Proceedings of the 2024 miniKanren and Relational Programming Workshop

TL;DR

This workshop focuses on advancing relational programming languages like miniKanren, fostering collaboration among researchers and practitioners, and developing innovative techniques for interpreters, type inference, and program synthesis using relational programming.

Contribution

It consolidates recent research and techniques in miniKanren-like languages, promoting new methods for interpreter design, type inference, and program synthesis within the relational programming paradigm.

Findings

Development of new interpreter techniques

Advances in type inference for relational languages

Enhanced methods for program synthesis using miniKanren

Abstract

The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and users from the miniKanren community, and to share expertise and techniques for relational programming. Another goal for the workshop is to push the state of the art of relational programming - for example, by developing new techniques for writing interpreters, type inferencers, theorem provers, abstract interpreters, CAD tools, and other interesting programs as relations, which are capable of being "run backward," performing synthesis, etc.