Fork me on GitHub
#core-logic
<
2015-10-13
>
algernon12:10:34

@jetzajac: (project) can help: user=> (run* [q] (conde [(== q 1)] [(== q "foobar")]) (project [q] (== (type q) Long))) (1)

algernon12:10:50

mind you, project is non-relational

jetzajac12:10:35

yeah, that's kind of solution but I need a relational version of it if I want to write some interpreter.

jetzajac12:10:39

Thus I'm not sure why it's not in the library then