コード例 #1
0
ファイル: test_tuples.py プロジェクト: ethframe/microkanren
def test_lists(goal, query, expected):
    assert [reify(query, st) for st in unfold(goal(initial()))] == expected
コード例 #2
0
def test_arithmetic(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected
コード例 #3
0
def test_disequality(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected
コード例 #4
0
def test_goals(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected
コード例 #5
0
ファイル: test_stream.py プロジェクト: ethframe/microkanren
def test_unfold(stream, expected):
    assert list(unfold(stream)) == expected