prolog is 2hard4me