Prolog-inspired logic engine in Ruby, with backtracking - View it on GitHub