core-logic

jetzajac 2015-10-07T21:12:05.000003Z

Hello everyone! Does anybody know if there is any constraint on type of the value? How can I assert that something is a symbol or number? miniKanren has such symbolo and numbero constraint but I can't find them in CL.