A Groovy Prolog