visit - ¿Cómo crear un hecho en SWI-Prolog?