Prolog practice examples