Predicate is a project mainly written in Ruby, it's free.
Experimental Prolog-a-like Logic Solver
404: Not Found