Escibir en un archivo con extensión pl la base de conocimiento.
Para cargar un programa desde dentro de prolog: ['programa'].
Además se puede cargar el programa al proporcionarlo como un parámetro de prolog con la opción -s: prolog -s programa.pl
Para salir de prolog escribimos: halt.