Una vez que el sistema CENTAUR ha sido correctamente instalado en la
máquina
,
se puede arrancar tecleando centaur desde cualquier directorio. En la figura
8.1 se muestran los mensajes que aparecen en un xterm
como consecuencia del arranque del sistema. En ellos se nos informa de la
versión de LE-LISP que está siendo utilizada, de las tablas que han sido
leídas, de la versión de Mu-Prolog utilizada con TYPOL y de información adidicional
generada por los ficheros de configuración. Esta ventana también será utilizada
para mostrar los diferentes mensajes que se generen durante la sesión de trabajo.
Figure: xterm desde el que se lanzó CENTAUR.
Una vez que ha sido arrancado CENTAUR, aparece el prompt de LE-LISP.
La versión que se incluye de este lenguaje es completa, por lo que se puede
utilizar para evaluar cualquier programa escrito en LE-LISP. Llamando
a la función end, que no toma argumentos, se termina la sesión
con CENTAUR. Para acceder al lenguaje Prolog es preciso realizar
una llamada a la función prolog, que tampoco toma argumentos. Para
salir del entorno Prolog y regresar al entorno LE-LISP, debe pulsarse la
combinación de teclas <CONTROL>D.