<< Back to previous view

[LOGIC-181] Running rembero returns :- (!= _0 _0) Created: 06/Dec/16  Updated: 06/Dec/16

Status: Open
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: N/A Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: None


 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) :- (Unable to render embedded object: File (= (_1 b)) () not found.= (_1 a)))
((a b _0 d e) :- (Unable to render embedded object: File (= (_0 _0)) () not found.= (_0 b)) (Unable to render embedded object: File (= (_0 d)) () not found.= (_0 a))))






Generated at Thu Dec 08 16:18:09 CST 2016 using JIRA 4.4#649-r158309.