prolog - transitivas - Cómo expresar una relación transitiva