Python unfold Examples

Example #1

File: test_tuples.py Project: ethframe/microkanren

def test_lists(goal, query, expected):
    assert [reify(query, st) for st in unfold(goal(initial()))] == expected

Example #2

File: test_arithmetic.py Project: ethframe/microkanren

def test_arithmetic(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected

Example #3

def test_disequality(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected

Example #4

def test_goals(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected

Example #5

File: test_stream.py Project: ethframe/microkanren

def test_unfold(stream, expected):
    assert list(unfold(stream)) == expected