Me preguntaba, soy consciente de que puede usar assert para agregar hechos o reglas o lo que sea si ha declarado que el predicado es -:dynamic, pero esto solo permite que los cambios que se realizan s
Lo que ahora compruebo es que X (Y) no es un hecho aceptado en mi pequeña base de datos. Como X (Y) devuelve falso, intentará afirmarlo. (Sé que esto presenta problemas cuando X es una regla y no un h
Escribí el siguiente código simple, y espero que cuando escribo 'masculino', este código me pregunte una vez "¿es masculino?" y si ingreso 'No' escriba en la pantalla "ella es mujer". male :- (print('