Guía Rápida

Bienvenidos a la interfaz web de CatLog2!

La página permite desarrollar, probar, experimentar y verificar gramáticas lógicas de tipo.
En el lado izquierdo podemos ver un primer formulario, en el que primero encontramos una caja (Example) donde escribiremos el identificador del ejemplo que queremos usar con CatLog2. Nótese que antes debemos seleccionar el léxico y los ejemplos entre los cuales uno debe escoger. Así que encontramos los siguientes elementos:

Debe escribirse en la caja Example el término prolog unificando con los identificadores de los ejemplos que se desean analizar.
El botón Execute CatLog2 ejecutará CatLog2 con toda la información recogida de los elementos anteriores y se abrirá una nueva ventana con el archivo PDF creado.
Debe tenerse presente que si no escribimos nada en la caja de Example no se realizará ninguna acción.

En el lado derecho vemos otro formulario, en el que encontramos:
Debe tenerse en cuenta que hay que actualizar la página una vez subidos los ficheros para que aparezcan en sus respectivas cajas en la izquierda y que se han de seleccionar en la izquierda para poder usarlos.
También encontramos, debajo de estos elementos anteriores, una caja (Download LaTeX Files) para seleccionar uno de los ficheros LaTeX que tendremos en el servidor (s.tex: léxico o t.tex: derivaciones), creados por la ejecución de CatLog2. Al lado de éste (a la derecha) hay un botón que descargará el fichero seleccionado en el disco local.
Siempre se descargará el s.tex o t.tex (según el fichero seleccionado) de la última ejecución.
Nótese que para ver los ficheros s.tex y t.tex en su caja es necesario recargar la página únicamente después de la primera ejecución de CatLog2.

Por último, en la parte de abajo de la página encontramos: