Commit be2d3f0f authored by Frank Huch's avatar Frank Huch
Browse files

Update Lecture Notes

parent af08aeee
# Advanced Programming (WS 19/20)
We provide all exercises and code developed during the lecture in this repository. Furthermore, there are [lecture notes](http://www-ps.informatik.uni-kiel.de/~fhu/AdvProg/AdvancedProgrammingLectureNotes.pdf) available for download within the university network.
We provide all exercises and code developed during the lecture in this repository. Furthermore, there are [lecture notes](http://www-ps.informatik.uni-kiel.de/~fhu/AdvProg/AdvancedProgrammingLectureNotes.pdf) for the concurrency and NEW(!) **logic part** available for download within the university network.
Feel free to fork this repository to work on the exercises!
......@@ -32,8 +32,8 @@ To enable the language extension insert `{-# LANGUAGE GADTSyntax #-}` at the top
In the first weeks of the logic programming part we will use a modified version of the Prolog-interpreter. After installing [SWI-Prolog](https://www.swi-prolog.org) you need to download one of the following files – depending on your OS.
* *Unix/Linux:* Copy the bash-script ([advprog-swipl](https://git.informatik.uni-kiel.de/sad/advanced-programming-ws19/tree/master/Logic/advprog-swipl) in the Logic directory anywhere you like, make it eventually executable and add it to your `PATH`-variable. It is recommended to copy it to a dedicated `bin`-directory of your OS. You can then start the modified interpreter using the command `advprog-swipl`. Alternatively, you can copy the bash-script to the directory with (all) your Prolog files and use `./advprog-swipl` to start the interpreter.
* *Others:* Copy this Prolog program ([advprog.pl](https://git.informatik.uni-kiel.de/sad/advanced-programming-ws19/tree/master/Logic/advprog.pl) from the Logic sirectory into the directoy with (all) your Prolog files and start the interpreter using the command `swipl -q -s advprog`.
* *Unix/Linux:* Copy the bash-script ([advprog-swipl](https://git.informatik.uni-kiel.de/sad/advanced-programming-ws19/tree/master/Logic/advprog-swipl ) in the Logic directory anywhere you like, make it eventually executable and add it to your `PATH`-variable. It is recommended to copy it to a dedicated `bin`-directory of your OS. You can then start the modified interpreter using the command `advprog-swipl`. Alternatively, you can copy the bash-script to the directory with (all) your Prolog files and use `./advprog-swipl` to start the interpreter.
* *Others:* Copy this Prolog program ([advprog.pl](https://git.informatik.uni-kiel.de/sad/advanced-programming-ws19/tree/master/Logic/advprog.pl ) from the Logic sirectory into the directoy with (all) your Prolog files and start the interpreter using the command `swipl -q -s advprog`.
If you start the interpreter as described above, you can load a Prolog file named `myprog.pl` using `[myprog].` Note that you cannot use negation in your Prolog programs with the modified interpreter.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment