[miniKanren'22] A Tutorial Reconstruction of miniKanren with constraints скачать в хорошем качестве

[miniKanren'22] A Tutorial Reconstruction of miniKanren with constraints

A Tutorial Reconstruction of miniKanren with constraints Bharathi Ramana Joshi (IIIT Hyderabad) William E. Byrd (University of Alabama at Birmingham, USA) After one learns to program in miniKanren, it is natural to want to understand how it is implemented. However, there is no resource to learn how to implement miniKanren with constraints such as \verb =/= , \verb symbolo , \verb numbero , and \verb absento . Furthermore, these are used to implement a wide class of interesting programs such as relational interpreters and relational type inferencers, making the need for such a resource all the more felt. This paper aims to be that resource.