Lua Prolog MiniKaren

https://news.ycombinator.com/item?id=8826060

http://lua-users.org/

http://www.keplerproject.org/

https://code.google.com/p/aima-lua/

http://trylua.mamasam.com/

http://trylua.net/

https://news.ycombinator.com/item?id=7928738

http://torch.ch/?repost=1

Prolog

http://okmij.org/ftp/kakuritu/rethinking.pdf

MiniKaren

https://news.ycombinator.com/item?id=8395079

http://minikanren.org/