¡No, no y no!

Ya estamos convencidos de que en Prolog es fácil preguntar si existe una forma de probar algo, ¿no?. Por ejemplo, si queremos saber si Tomás tiene auto, podemos consultar así:

? tieneAuto(tomas).
yes
? tieneAuto(victoria).
no

Pero ¿cómo hacemos para decir lo contrario? ¿Cómo hacemos para preguntar si NO existen pruebas de que Tomás tenga auto? Adiviná, existe un predicado not/1, que niega consultas.

Descubrilo vos mismo; probá las siguientes consultas:

  • not(tieneAuto(tomas))
  • not(tieneAuto(victoria))

Tenés que iniciar sesión antes de empezar a enviar tus soluciones