search

FedericoFuentesWeber / TPs-PdeP-2018

0 stars 0 forks source link

No es claro lo que quisieron generar en malaGente #26

Closed sanuzzi closed 6 years ago

sanuzzi commented 6 years ago

Tienen esto:

malaGente(Persona) :-
miraOQuiereMirar(Persona, _),
leDijo(Persona, _, _, _),
forall(leDijo(Persona, Victima, _, _), leSpoileo(Persona, Victima, _)).

¿Para qué verifican que la persona mire algo, y haya dicho algo a alguien? No se pedía. Simplemente generen a la persona de la forma más básica y clara que encuentren, y luego hagan el forall.