core.logic

Subpattern {?x (?y ?y)} fails to unify

Details

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

Description

This expression should unify but doesn't:

(unify {:as '{?x (?y ?y)}} '[[?y ?x] [1 (1 1)]])

Activity

Jonas Enlund made changes -
Field Original Value New Value
Attachment LOGIC-122.diff [ 11918 ]
Jonas Enlund made changes -
Attachment LOGIC-120-121-122-squashed.diff [ 11919 ]
David Nolen made changes -
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
David Nolen made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: