Prolog Triangle Solution