core.logic

Example of unifier on wiki uses wrong syntax?

Details

  • Type: Task Task
  • Status: Open Open
  • Priority: Trivial Trivial
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
  • Environment:
    [org.clojure/core.logic "0.8.10"]

Description

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}

?

Activity

There are no comments yet on this issue.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: