Merge pull request #20 from brandonwillard/improve-basic-goals

Improve and add basic miniKanren goals

examples/prime.py

@@ -6,8 +6,8 @@
 from unification import isvar
 
 from kanren import membero
-from kanren.core import (success, fail, var, run,
-                         condeseq, eq)
+from kanren.core import succeed, fail, var, run, condeseq, eq
+
 try:
     import sympy.ntheory.generate as sg
 except ImportError:
@@ -19,7 +19,7 @@ def primo(x):
     if isvar(x):
         return condeseq([(eq, x, p)] for p in map(sg.prime, it.count(1)))
     else:
-        return success if sg.isprime(x) else fail
+        return succeed if sg.isprime(x) else fail
 
 
 def test_primo():

kanren/__init__.py

@@ -1,11 +1,21 @@
 # flake8: noqa
 """kanren is a Python library for logic and relational programming."""
-from __future__ import absolute_import
-
 from unification import unify, reify, unifiable, var, isvar, vars, variables, Var
 
 from .core import run, eq, conde, lall, lany
-from .goals import seteq, permuteq, goalify, membero
+from .goals import (
+    heado,
+    tailo,
+    conso,
+    nullo,
+    itero,
+    appendo,
+    rembero,
+    permuteo,
+    permuteq,
+    membero,
+    goalify,
+)
 from .facts import Relation, fact, facts
 from .term import arguments, operator, term, unifiable_with_term