From Variadic Functions to Variadic Relations A miniKanren Perspective

Abstract

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)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics