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?

Se asume que están disponibles los predicados sufijo/2 y prefijo/2 con cabeceras sufijo(Xs,YsXs) y prefijo(Xs,XsYs) donde ambos argumentos son listas de términos, y tienen éxito si y solamente si el primer argumento es un sufijo o prefijo del segundo respectivamente.

Se pide indicar cual de las siguientes opciones implementa correctamente el predicado sublista/2 que es cierto si y solamente si el primer argumento es una sublista del segundo argumento.

¿Cuál sería la mejor definición, en términos de eficiencia, para un predicado clase/2 que clasifica los números en 3 clases: positivos, cero y negativos?

¿Cuál sería el mejor caso base para el predicado recursivo potencia/3 (potencia(X,Y,Z)) donde Z es X elevado a Y? (X,Y,Z son naturales en representación de Peano)