Alright, that makes sense. I suppose that since facts are represented
under the hood as relations, anyways, that this might work. Thanks.
On Saturday, 28 July 2012 21:52:46 UTC-4, David Nolen wrote:
>
> On Sat, Jul 28, 2012 at 8:53 PM, JvJ wrote:
> > I'm having trouble translating some Prolog
On Sat, Jul 28, 2012 at 8:53 PM, JvJ wrote:
> I'm having trouble translating some Prolog code to core.logic.
>
> In particular, I'd like to do something like this:
>
>> 2 ?- assert(a(b)).
>> true.
>> 3 ?- assert(a(a(b))).
>> true.
>> 4 ?- a(X).
>> X = b ;
>> X = a(b).
>> 5 ?- a(a(X)).
>> X = b.
W
