A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.