Suponiendo el predicado puro areaTriangulo/3 (areaTriangulo(B,H,A)), que opera con numeros de Peano, y que tiene éxito si B es la base de un triángulo, H es la altura de dicho triángulo, y A es el área del triángulo (calculada usando la base y la altura). ¿Cuál sería la consulta para saber si existen dos datos (base y altura) tales que para ambos pares de datos el área del triángulo sea igualmente cuatro?