Skip to content

Instantly share code, notes, and snippets.

View a-yiorgos's full-sized avatar

Yiorgos Adamopoulos a-yiorgos

View GitHub Profile
@a-yiorgos
a-yiorgos / microkanren.py
Created March 5, 2018 15:12 — forked from cheery/microkanren.py
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):