|
|
|
|
|
|
by harperlee
7 days ago
|
|
|
There is some research around minikanren that touches exactly that (minikanren is akin to prolog written in scheme, where order is just an implementation detail, and cuts and other non-relational things are looked with suspicion). |
|
|