Hello and welcome to ArgTeach, the learning tool for Argumentation Theory.
Read the paper on ArgTeach.
You can download ArgTeach here.
To run ArgTeach, you will need the prolog interpreter SWI-Prolog version 6.6.1 or above and Java version 1.7 or above.
Make sure that you use the correct versions for your operating system, and choose 64 or 32 bits accordingly.
Installation on Windows
After installing SWI and Java on Windows, you have to add the jpl library to your global path variable.:
- Open the control panel, go to System and Security -> System -> Advanced system settings -> Environment Variables.
- Look for the PATH variable from the list of System variables and select it.
- Click on "Edit..." and add ";DRIVE:\directory\to\swipl\bin\" at the end, where DRIVE:\directory\to\swipl is the path to your swipl installation.
Then unpack ArgTeach.zip to a folder of your choice and execute ArgTeach.jar
In case double clicking on ArgTeach.jar does not work, execute it via the command line using "java -jar ArgTeach.jar".
Installation on Linux (for bash shell)
After ensuring that you have the correct Java version you need to install SWI-Prolog:
- sudo apt-add-repository ppa:swi-prolog/stable
- sudo apt-get update
- sudo apt-get install swi-prolog swi-prolog-java
Unpack ArgTeach.zip and run the following from the folder of ArgTeach containing ArgTeach.jar (substitute the correct folder name in case the SWI folders have a different name)
- java -Djava.library.path=/usr/lib/swi-prolog/lib/amd64/ -jar ArgTeach.jar
To run ArgTeach without specifying the SWI path every time, create a bash-file named argTeach containing the following:
java -Djava.library.path=/usr/lib/swi-prolog/lib/amd64/ -jar ArgTeach.jar
Then simply run
On both Windows and Linux, make sure you leave the folder disposition as it is after unpacking ArgTeach.zip, otherwise you might have trouble running the software.
For information on how to create your own frameworks, please read the README file in the tools folder.
If you encounter any problems or have any questions, please contact Claudia Schulz or Jeremie Dauphin