So, back to Prolog? :)