We present an implementation of miniKanren, an embedding of logic programming in RRS Scheme that comprises three logic operators. We describe these operators, and use them to define plus , a relation that adds two numbers. We then define plus ∗o, which adds zero or more numbers; plus ∗o takes exactly two arguments, the first of which is a list of numbers to… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.