Demonstrations - Getting started



In this section, you can build yourself an idea of what ELAN is capable of. Numerous models of logic are available, each offering some preexistant examples. This  tutorial will  help you understand how this site works. If you are looking for informations about  the ELAN language, please refer to the manual  .

You can edit  your own specifications and queries as well as the modules themselves(*.lgi, *.eln) too. Subsequently, you do not need to install ELAN on your workstation to use it.

ELAN needs 3 important things :
   - the .lgi and  .eln files           (files that tell ELAN what to do and how to do it)
   - the .spc file(Specification)  (file that describe the variables used)
   - the query                           (which describe the problem you want ELAN to solve)

We suggest you take a look at the examples of modules, specifications and queries so that you get familiar with the use of ELAN. Then, you can try and edit the modules of any demonstration.

The demonstration window will look like the table underneath.
If you choose one of the modules in the left frame, the window will look like this:
 

Description

Modules
       - ******.lgi
        - ******.eln
Specification
         - ******.spc

Examples of:
           - specification
           - query

 

Description

content of the module 
.....
.....
.....

 Edit module

If you click on the 'Edit module' button, a new text area will appear in the same window (see below). This way, you can modify any module or even upload a file you created locally (on your workstation) with the 'Browse' and 'Load' buttons.
 

Description

Modules
       - ******.lgi
        - ******.eln
Specification
         - ******.spc

Examples of:
           - specification
           - query

 

Edit My Module

content of the module 
.....
.....
.....

continue with modification         Cancel
Browse         Load

Clicking any button will bring you back to the previous page. You can now notice that your module is displayed, and is called Mymodule.* . Thanks to the "Cancel" button you will be able to go back to the original module.
The "save" button will allow you to keep a copy of the new module on your hard drive if you wish to use it again later.

Notes: - do not forget to save the modules if you think they might be useful in the future because they will be erased from the server after the query.
           - you do not have to modify all the modules: if you do not edit a module, ELAN will use the one by default.

The next step is the creation of the specification file:
 

Description

Modules
       - ******.lgi
        - ******.eln
Specification
         - ******.spc

Examples of:
           - specification
           - query

 

Specification

Content of the specification
 


Edit Specification

 

  In this specification file, you have to describe the variables that will be used. Do exactly as you did for the modules because the windows and buttons are identical.

The last step is to type your query:
 

Description

Modules
       - ******.lgi
        - ******.eln
Specification
         - ******.spc

Examples of:
           - specification
           - query

Queries

Examples of query
 

textarea
submit your query
 

   
At this moment the only thing you have to do is go back to the 'Description' section where you will be able to type your query or choose it among a few examples. Then, you can choose the level of trace you wish to get ('Brief' or 'Detailed') and you can also decide whether your quuery will be solved by the ELAN interpreter or by the compliler. Now just press the "Solve the query" button !