We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 84e8146 commit 19e009aCopy full SHA for 19e009a
kanren/facts.py
@@ -67,7 +67,7 @@ def goal(substitution):
67
68
for fact in facts:
69
unified = unify(fact, args2, substitution)
70
- if unified != False:
+ if unified is not False:
71
yield merge(unified, substitution)
72
73
return goal
0 commit comments