µKanren: A Minimal Functional Core for Relational Programming
View Researcher's Other CodesDisclaimer: The provided code links for this paper are external links. Science Nest has no responsibility for the accuracy, legality or content of these links. Also, by downloading this code(s), you agree to comply with the terms of use as set out by the author(s) of the code(s).
Please contact us in case of a broken link from here
Authors | Jason Hemann, Daniel P. Friedman |
Journal/Conference Name | Scheme '13 2013 11 |
Paper Category | Artificial Intelligence |
Paper Abstract | This paper presents µKanren, a minimalist language in the miniKanren family of relational (logic) programming languages. Its implementation comprises fewer than 40 lines of Scheme. We motivate the need for a minimalist miniKanren language, and iteratively develop a complete search strategy. Finally, we demonstrate that through sufficient user-level features one regains much of the expressiveness of other miniKanren languages. In our opinion its brevity and simple semantics make µKanren uniquely elegant. |
Date of publication | 2013 |
Code Programming Language | Multiple |
Comment |