Problems in Prolog