prolog - Error de afirmación del prólogo de GNU - edu.lat

unificacion - Llamar hechos de la base de datos en prolog

swipl - swi prolog tutorial - edu.lat

asserta - Prolog-ASSERT y RETRACT