4 ms·
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
by harperlee 2mo 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).