Prolog
Datalog
Mis
Ala
Geo
S.Ca
Flo
https://github.com/RyanGough/ukanjs
https://github.com/miniKanren/sokuza-kanren/blob/master/sokuza-kanren.scm