[LOGIC-125] Using membero with a vector as an element Created: 25/Mar/13 Updated: 28/Jul/13 Resolved: 25/Mar/13
|Reporter:||Matthew O. Smith||Assignee:||David Nolen|
Running this code gives an unexpected result of only one of the 2 members being present:
While adding an empty fresh seems to resolve the problem:
|Comment by David Nolen [ 25/Mar/13 10:52 AM ]|
This is not a bug. You must always wrap a conjunction of goals in a run, fresh or an all or some other compound goal construct built from these primitives.
|Comment by Matthew O. Smith [ 25/Mar/13 11:31 AM ]|
Thanks, that is good to know.