Rulog – logic programming system for ruby
github.com