Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
README.txt | 2018-03-23 | 765 Bytes | |
DES_SWI.zip | 2018-03-23 | 3.6 MB | |
Totals: 2 Items | 3.6 MB | 0 |
================================== DES Development version 2018-03-23 ================================== Starting DES ------------ 1. Install a modern version of SWI-Prolog (7.x). 2. Unzip the archive in a folder of your choice. 3. Start SWI-Prolog from that folder. 4. Type the following, including the ending dot: [des]. You should see the banner of the system. Processing the examples for SQL semantic errors ----------------------------------------------- Type: /process examples Notes ----- - For multiline input, type the command: /multiline on - For type casting a la SQL type: /type_casting on - A bunch of commands is available. Type: /help - Consult the manual in the folder doc for more information.