dc.description | Preface
This report aggregates the papers presented at the first miniKanren and Relational Programming Workshop, hosted on
August 2nd, 2019 in Berlin, Germany and co-located with the twenty-second International Conference on Functional
Programming.
The miniKanren and Relational Programming Workshop is a new 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 backwards,” performing synthesis, etc.
6 papers were submitted to the workshop, and each submission was reviewed by two to three members of the program
committee. After deliberation, all submissions were accepted to the workshop.
In addition to the six full papers presented
• William E. Byrd gave a morning tutorial on miniKanren,
• Daniel P. Friedman and William E. Byrd gave a closing Q&A with audience.
Thanks to all presenters, participants, and members of the program committee.
William E. Byrd & Nada Amin | en_US |