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:
- Una caja (Lexicon) para seleccionar el léxico que queremos utilizar. Al lado de éste (a la derecha) hay un botón que nos abrirá una nueva ventana mostrándonos el contenido del léxico que está seleccionado.
- Una caja (Strings) para seleccionar los ejemplos a analizar. Al lado (a la derecha) hay un botón que nos abrirá una nueva ventana mostrándonos el contenido del fichero de ejemplos que está seleccionado.
- Una pequeña caja donde podremos indicar (haciendo clic) si se desea visualizar el léxico en el archivo PDF que creará CatLog2.
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:
- Un botón (Lexicon File) para poder seleccionar el fichero de léxico que tengamos en el disco local y que queramos subir al servidor.
- Un botón (Strings File) para poder seleccionar el fichero de ejemplos que tengamos en el disco local y que queramos subir al servidor.
- Un botón (Upload Files) que realizará la función de cargar los ficheros indicados en los botones anteriores al servidor.
(No es necesario seleccionar los dos tipos de ficheros.)
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:
- Un botón (Display SWIPL Output) que abrirá una nueva ventana en el navegador con el resultado que nos dará SwiProlog al ejecutar CatLog2.
(Nos dará el resultado de la última ejecución.)
- Una caja de texto (no modificable) con todo lo que nos devolverá LaTeX al hacer la transformación del fichero de salida LaTeX de CatLog2 a PDF. Téngase en cuenta una vez más que para ver lo que ha hecho LaTeX es necesario recargar la página siempre después de una ejecución de CatLog2.