microKanren with Delayed Goals
Author
Zharmukhametova, Laura
Metadata
Show full item recordCitation
Zharmukhametova, Laura. 2021. microKanren with Delayed Goals. Bachelor's thesis, Harvard College.Abstract
miniKanren is a relational programming language embedded in Scheme. This paperstudies the problem of supporting delayed goals in the context of µKanren, the core of
miniKanren. It explores different representations of delayed goals and tradeoffs between
them. In the presented approach, delayed goals are both accumulated and dispatched
throughout the execution of a program, and the ones that remain at the end are returned to
the programmer as a continuation. A novel interface, inspired by the concept of engines,
allows continuously supplying µKanren code to partially computed program outputs.
Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAACitable link to this page
https://nrs.harvard.edu/URN-3:HUL.INSTREPOS:37368527
Collections
- FAS Theses and Dissertations [6136]
Contact administrator regarding this item (to report mistakes or request changes)