Competitive Logic programming -- BME 2024 Spring Semester

Competitive Logic Programming -- BME 2024 Spring Semester

This page contains information on the Competitive Logic Programming lectures -- BME 2024 Spring Semester

The main Prolog system of the course is SICStus Prolog. You will obtain, through email, download instructions and a licence (valid till the beginning of the next term).
You can use other Prolog systems, but for some more advanced tasks SICStus Prolog is the only option. Of the free Prolog systems we recommend SWI-Prolog, which also has a Web-based sandbox environment: SWISH.
For programming tasks in Constraint programming here is some important advice re handling differences between SICStus and SWI Prolog:
Use the SICStus variants of the library predicates that differ wrt. SWI, e.g. domain/3. #<=> etc.
Use a version of SWISH extended with definitions of SICStus predicates, available from here.
If you use SWI Prolog on your laptop, you can access the definitions of these SICStus predicates here.
Tau Prolog is a toy Prolog system, which has the option of drawing the search tree: Tau-Prolog sandbox

Type in your program into the large white area entitled "Program"
Press the "Consult Program" button
Enter your query into the top grey area on the right, run in by pressing Enter
Further solutions can be obtained by pressing Enter again (solutions are listed in reverse order :-)
To draw the search tree, go to "Derivation tree visualization" tab and then press Enter in the grey area displaying your query

Last modified by Peter Szeredi, on Mar-12-2024.