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.
However, the core.logic equivalent doesn't seem to work:
user (fact
On Sat, Jul 28, 2012 at 8:53 PM, JvJ kfjwhee...@gmail.com 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.
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 kfjwhee...@gmail.com wrote:
I'm having trouble