core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

The expression

(unifier '[((?x ?y)) ((1 2))])

returns the (invalid) result {?x 1}. Note that unify works as expected:

(unify '[((?x ?y)) ((1 2))])
=> ((1 2))

1. 

   LOGIC-121.diff

   16/Mar/13 1:31 AM

   0.9 kB

   Jonas Enlund

• Assignee:

  David Nolen

  Reporter:

  Jonas Enlund

• Created:

  14/Mar/13 11:56 AM

  Updated:

  17/Mar/13 11:39 AM

  Resolved:

  17/Mar/13 11:39 AM