Guia Ràpida
Benvinguts a la interfície web de CatLog2!
La pàgina permet desenvolupar, provar, experimentar i verificar gramàtiques lògiques de tipus.
Al costat esquerra podem veure un primer formulari en el que primer trobem una caixa (Example) on escriurem l'identificador de l'exemple que volem usar amb CatLog2. Tot i així, primer hem de seleccionar el lèxic i els exemples entre els quals escollirem. Així que trobem els següents elements:
- Una caixa (Lexicon) per seleccionar el lèxic que volem utilitzar. Al costat d'aquest (a la dreta) hi ha un botó que ens obrirà una nova finestra mostrant-nos el contingut del lèxic que està seleccionat.
- Una caixa (Strings) per seleccionar els exemples a analitzar. Al costat (a la dreta) hi ha un botó que ens obrirà una nova finestra mostrant-nos el contingut del fitxer d'exemples que està seleccionat.
- Una petita caixa on podrem indicar (fent clic) si es vol visualitzar el lèxic en l'arxiu PDF que crearà CatLog2.
L'usuari ha d'escriure a la caixa Example el terme unificant amb els identificadors dels exemples que es volen analitzar.
El botó Execute CatLog2 executarà CatLog2 amb tota la informació recollida dels elements anteriors i s'obrirà una nova finestra amb l'arxiu PDF creat.
Cal tenir present que si no escrivim res a la caixa d'Example no es realitzarà cap acció quan executem CatLog2.
A la part dreta veiem un altre formulari, en el qual trobem:
- Un botó (Lexicon File) per poder seleccionar el fitxer de lèxic que tinguem en el disc local i que vulguem pujar al servidor.
- Un botó (Strings File) per poder seleccionar el fitxer d'exemples que tinguem en el disc local i que vulguem pujar al servidor.
- Un botó (Upload Files) que realitzarà la funció de carregar els fitxers indicats en els botons anteriors al servidor.
(No cal seleccionar ambdós tipus de fitxers.)
S'ha de tenir en compte que cal actualitzar la pàgina un cop pujats els fitxers per a què apareguin en les seves respectives caixes a la esquerra y que s'han de seleccionar a l'esquerra per fer-los servir.
També trobem, a sota d'aquests elements anteriors, una caixa (Download LaTeX Files) per seleccionar un dels fitxers LaTeX que tindrem al servidor (s.tex: lèxic o t.tex: derivacions), creats per l'execució de CatLog2.
Al costat d'aquest (a la dreta) hi ha un botó que descarregarà el fitxer seleccionat en el disc local.
Sempre es descarregarà el s.tex o t.tex (segons el fitxer seleccionat) de l'última execució.
Cal notar que per veure els fitxers s.tex i t.tex en la seva caixa es necessari recarregar la pàgina únicament després de la primera execució de CatLog2.
Finalment, a la part de baix de la pàgina trobem:
- Un botó (Display SWIPL Output) que obrirà una nova finestra en el navegador amb el resultat que ens donarà SwiProlog en executar CatLog2.
(Ens donarà el resultat de l'última execució.)
- Una caixa de text (no modificable) amb tot el que ens retornarà LaTeX en fer la transformació del fitxer de sortida LaTeX de CatLog2 a PDF. Cal tenir en compte que per veure el que ha fet LaTeX és necessari recarregar la pàgina sempre després d'una execució de CatLog2.