Scalogic
https://mkhan45.github.io/scalogic/
A simple logic programming language written in Scala. Solves facts and relations with unification. Uses a top-down evaluation strategy that accumulates relations onto the working expression. I didn't do a lot of reading on evaluation strategies, so I'm not sure where it fits.