Running rembero returns :- (!= _0 _0)

Description

(run* [out]
(fresh [y z]
(rembero y (list 'a 'b y 'd z 'e) out)))
=>
((b a d _0 e)
(a b d _0 e)
((a b d _0 e) :- (

= (_1 a)))
((a b _0 d e) :- (

= (_0 b)) (

= (_0 a))))

Environment

None

Assignee

David Nolen

Reporter

import