Resolucion erronea del Ejercicio 7 Leccion 10

[Maxi-F]

Diferentes soluciones que no son correctas pasan la prueba:

por ejemplo:

costosDeHerramientas(Costos) :-
  findall(Costo, costoHerramienta(Herramienta, Costo), Costos).
  
costoTotalDeHerramientasDemandadas(Sumatoria) :-
  costosDeHerramientas(Costos).
  sumlist(Costos, Sumatoria). 

costoDeHerramienta(Costos):-
    findall(Herramienta, herramientaDemandada(Herramienta), Herramientas),
    findall(Costo, costoHerramienta(Herramientas,Costo), Costos).

  
costoTotalDeHerramientasDemandadas(Sumatoria) :-
  costosDeHerramientas(Costos).
  sumlist(Costos, Sumatoria). 

costoDeHerramienta(Costos):-
    herramientaDemandada(Herramientas).
    findall(Costo, costoHerramienta(Herramientas,Costo), Costos).

  
costoTotalDeHerramientasDemandadas(Sumatoria) :-
  costosDeHerramientas(Costos).
  sumlist(Costos, Sumatoria). 

costoDeHerramienta(Costos):-
    herramientaDemandada(Herramientas).
    findall(Herramientas, costoHerramienta(Herramientas,_), Costos).
  
costoTotalDeHerramientasDemandadas(Sumatoria) :-
  costosDeHerramientas(Costos).
  sumlist(Costos, Sumatoria). 

[julian-berbel]

Gracias por reportar el problema!

Ya pude identificar el error, pero no estoy seguro de que sea algo resolvible de forma general 🤔. Tal vez sea sólo una cuestión de modificar el contenido.

Lo que está pasando es que el ejercicio cuenta con un único test que es el siguiente:

test('costoTotalDeHerramientasDemandadas(550) si se demanda un martillo de $500 y una pinza de $50') :-
   costoTotalDeHerramientasDemandadas(550).

En las soluciones que nos compartieron, en todos los casos, costoTotalDeHerramientasDemandadas/1 es igual, y se confundió una coma por un punto en la línea costosDeHerramientas(Costos).. Esto causa que costoTotalDeHerramientasDemandadas tenga realmente la siguiente forma:

costoTotalDeHerramientasDemandadas(_) :-
  costosDeHerramientas(_).

Y como costosDeHerramientas se puede probar para un individuo, costoTotalDeHerramientasDemandadas resulta verdadero para cualquier individuo que le pasemos, haciendo pasar al test también.

Un ejemplo más minimalista todavía:

Una solución para este ejercicio por lo menos sería agregar un test del tipo:
not(costoTotalDeHerramientasDemandadas(300)).

Se te ocurre alguna solución más genérica @flbulgarelli ?

[flbulgarelli]

Perfecto @julian-berbel . @Gustrucco te lo encargo