Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)

Abstract

The miniKanren and Relational Programming Workshop brings together researchers, implementors, and users of the miniKanren family of relational programming languages, including miniKanren, microKanren, core.logic, OCanren, Guanxi, and related systems. The workshop focuses on the design, implementation, and application of miniKanren-like languages, as well as new techniques and tools for relational programming. These proceedings collect the eleven accepted papers presented at the Seventh miniKanren and Relational Programming Workshop.

arXiv commentProceedings editors: Michael D. Adams and William E. Byrd. Proceedings index prepared by Jason Hemann. Seventh miniKanren and Relational Programming Workshop, Singapore, October 17, 2025; co-located with ICFP/SPLASH 2025