Welcome! Please see the
About
page for a little more info on how this works.
GitHub Login
All Activity
Questions
Unanswered
Tags
Ask a Question
About
Ask a Question
Example of unifier on wiki uses wrong syntax?
0
votes
asked
Jan 11, 2016
in
core.logic
by
jira
The example of clojure.core.logic.unifier/unifier on the Features wiki page is
(unifier '(?x ?y ?z) '(1 2 ?y)) ; (1 2 _.0)
Shouldn't it be something like
(unifier ['(?x ?y ?z) '(1 2 ?y)]) ; {?y 2, ?x 1, ?z 2}
?
problem
jira
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
0
votes
answered
Jun 26, 2019
by
jira
Reference:
https://clojure.atlassian.net/browse/LOGIC-178
(reported by alex+import)
Please
log in
or
register
to add a comment.
Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.
Related questions
Example in Overview Wiki Page Results in an Exception
Syntax error has wrong line and column number
The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq
Bug when matching on a vector with a map clause that uses `:only`
improve syntax errors on tagged-literals
Categories
All categories
Clojure
(1.5k)
ClojureScript
(611)
ClojureCLR
(26)
Contrib libs
(725)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
core.cache
(19)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
core.typed
(33)
core.unify
(7)
data.avl
(1)
data.codec
(3)
data.csv
(12)
data.finger-tree
(1)
data.fressian
(6)
data.generators
(3)
data.int-map
(17)
data.json
(18)
data.priority-map
(4)
data.xml
(24)
data.zip
(4)
java.classpath
(2)
java.data
(12)
java.jdbc
(3)
java.jmx
(6)
math.combinatorics
(5)
math.numeric-tower
(1)
replicant
(0)
test.check
(45)
test.generative
(2)
tools.analyzer
(8)
tools.build
(29)
tools.cli
(7)
tools.deps
(120)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(11)
tools.tools
(2)
tools.trace
(5)
Tools
(73)
Meta
(19)
Other
(93)
...