core-logic

2021-05-19T01:50:05.005900Z

Not sure why that couldn't be relational.

2021-05-19T01:54:20.006Z

I never really use the defne, denfa, fne macros

2021-05-19T09:03:32.006900Z

The most obvious problem I struggle with is that the last clause would require something like a (not (pred ?x)) which I don't know how to write in core.logic