Fork of style, a scala-based prolog intepreter (https://code.google.com/p/styla)