You are currently using a new, unsaved search.
Example of unifier on wiki uses wrong syntax?
equality of non-unique lvars broken for clojure 1.7
Guard against arity missmatches between rels, facts and retractions
A warning is thrown regarding the redefinition of record? in clojure 1.6.0
relevant-var? logic incorrectly discards a vars constraint set