Is there some documentation on core.logic's implementation that I could use
for something like this?
On Saturday, 16 March 2013 17:53:49 UTC-4, JvJ wrote:
>
> Maybe I'll try to write something in, if I can swing it.
>
> Basically, with assert, you can incorporate database modifications as part
>
Maybe I'll try to write something in, if I can swing it.
Basically, with assert, you can incorporate database modifications as part
of a query.
Here is an example:
1 ?- assert(person(dNolen)).
true.
2 ?- person(X), assert(coolguy(X)).
X = dNolen.
3 ?- coolguy(X).
X = dNolen.
On Saturday, 16
Doesn't exist and I'm not that familiar with assert. Patch welcome of
course.
On Sat, Mar 16, 2013 at 5:24 PM, JvJ wrote:
> I realize that it is possible to enter facts into the core.logic database
> with the facts function. However, I'm looking for something more like the
> Prolog assert; a r
