This is the code
verificar(S) :- (si(S) -> true ; (no(S) -> fail ; preguntar(S))).
preguntar(Pregunta) :- write(\'Tiene los sigu
