a-yiorgos

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):