Skip to content

Instantly share code, notes, and snippets.


Yiorgos Adamopoulos a-yiorgos

View GitHub Profile
a-yiorgos /
Created March 5, 2018 15:12 — forked from cheery/
Microkanren tryout.
import itertools
# Microkanren programs are 'goal' functions that take in a
# state and return a stream of states that satisfy the given goal.
# I am interested about microkanren because it presents a logic
# programming kernel which fits into a dynamically typed language.
# Anything could go as a variable, but I wanted names for variables.
class Variable(object):