core.logic

Unifier fails on some nested forms

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

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))

Activity

Jonas Enlund made changes -
Field Original Value New Value
Description The expression

{{code}}
(unifier '[((?x ?y)) ((1 2))])
{{code}}

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

{{code}}
(unify '[((?x ?y)) ((1 2))])
=> ((1 2))
{{code}}
The expression

{code}
(unifier '[((?x ?y)) ((1 2))])
{code}

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

{code}
(unify '[((?x ?y)) ((1 2))])
=> ((1 2))
{code}
Jonas Enlund made changes -
Attachment LOGIC-121.diff [ 11916 ]
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: