L
есть ещё https://www-ps.informatik.uni-kiel.de/kics2/ (трансляция в Haskell)
на правах игрушки поиграться в логическое программирование и не разбираться при этом в прологе -- вполне годится. практическая значимость сомнительная, как и у пролога впрочем.


