You can clone with
Fix valid-path function.
New version using defne.
Added common util file, and maze solving attempt2.
Reimplement distincto in the same style as the rest of this attempt.
A bit more explaination in the README.
Put mazes in their own file. Added license.
Attempt 1 - using core.logic primitives.