microKanren with Delayed Goals
Access StatusFull text of the requested work is not available in DASH at this time ("dark deposit"). For more information on dark deposits, see our FAQ.
MetadataShow full item record
CitationZharmukhametova, Laura. 2021. microKanren with Delayed Goals. Bachelor's thesis, Harvard College.
AbstractminiKanren is a relational programming language embedded in Scheme. This paper
studies 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.
Citable link to this pagehttps://nrs.harvard.edu/URN-3:HUL.INSTREPOS:37368527
- FAS Theses and Dissertations