Details
-
Type:
Defect
-
Status:
Resolved
-
Priority:
Major
-
Resolution: Completed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:
Description
I tried some tests of core.unify against core.logics binding-map function and found some inconsistencies:
(binding-map '(?x ?y) '(?y ?x)) ==> {?y _.0, ?x _.0}
while core.unify returns ==> {?x ?y}