[errnoh]

There's also Marelle [0], written in SWI-Prolog.

[0]: http://larsyencken.github.io/marelle/

[nikolay]

Thanks for reminding me about Marelle! I was really excited about it back then, but then, due to the Prolog dependency, I got a bit more practical.