Quick Guide
Welcome to the CatLog2 web interface!
The web page permits development, testing, experimentation and verification of type logical grammars.
We can see first a form on the left side, in which is first found a box (Example) where we will write the example identifier for which we want to use CatLog2. Nevertheless we must first select the lexicon and examples among which we will choose. We find the following components:
- A box (Lexicon) to select the lexicon that we want to use. Beside this (on the right) there is a button that will open a new window showing the contents of the lexicon that is selected.
- A box (Strings) to select the examples to analyze. Beside this (on the right) there is a button that will open a new window showing the contents of the file of examples that is selected.
- A small box where we can indicate (by clicking) that we wish to display the lexicon in the PDF file that will be generated by CatLog2.
After selecting lexicon and strings, fill in (in the box Example) the term unifying with the examples identifiers that you wish to analyze.
The button Execute CatLog2 will run CatLog2 with all the information gathered from the above items and will open a new window with the PDF file created.
Please note that if we do not write anything in the box of Example no action will be carried out when we execute CatLog2.
On the right side we see another form, in which we find:
- A button (Lexicon File) to select the lexicon file that we have on the local disk and that we want to upload to the server.
- A button (Strings File) to select the examples file that we have on the local disk and that we want to upload to the server.
- A button (Upload Files) that carries out the function of loading the files selected in the previous buttons to the server.
(There is no need the select both types of files.)
It should be noted that we have to refresh the page once to upload files in order that they appear in their respective boxes on the left and that they have to be selected on the left side to be used.
We also find, under these above items, a box (Download LaTeX Files) to select one of the files LaTeX that we will have on the server (s.tex: lexicon or t.tex: derivacions), created through the execution of CatLog2.
Beside this (on the right) there is a button that will download the selected file on the local disk.
Note that this will download the s.tex or t.tex file (depending on the selected file) of the last execution.
Note that to see the s.tex file and the t.tex file in the box it is necessary to refresh the page uniquely after the first run of CatLog2.
Finally, in the bottom of the page we find:
- A button (Display SWIPL Output) that will open a new tab in the browser that will give us the result of SwiProlog running CatLog2.
(It will show the result of the last execution.)
- A text box (not modifiable) giving the result of running LaTeX on the output of CatLog2. Keep in mind that it is necessary to refresh the page after execution of CatLog2.