TDDD08 Logic Programming
Labs can be carried out in pairs. However, all students are expected to contribute to the solving of all exercises on an equal basis and should be prepared to explain and motivate their solutions. Registration for the labs can be done in IDA's Webreg system not later than September 18.
Rules for examination of computer lab assignments at IDA
You are expected to do lab assignments in group or individually, as instructed for a course. However, examination is always based on individual performance.
It is not allowed to hand in solutions copied from other students, or from elsewhere, even if you make changes to the solutions. If there is suspicion of such, or any other form of cheating, teachers are obliged to report it to the University Disciplinary Board.
Be prepared to answer questions about details in specific code and its connection to theory. You may also be asked to explain why you have chosen a specific solution. This applies to all group members.
If you foresee problems meeting a deadline, contact your teacher. You can then get some help and maybe the deadline can be set to a later date. It is always better to discuss problems, instead of, e.g., to cheat.
Any kind of academic dishonesty, such as cheating, e.g. plagiarism or use of unauthorized assistance, and failure to comply with university examination rules, may result in the filing of a complaint to the University Disciplinary Board. The potential penalties include suspension, warning.
Policy for handing in computer lab assignments at IDA
For all IDA courses having computer lab assignments there will be one deadline during or at the end of the course. If you fail to make the deadline, you must retake the, possibly new, lab course the next time the course is given.
If a course deviates from this policy, information will be given on the course web pages.
Deadlines for this course
All labs must have been successfully completed not later than October 29th. It is possible to demonstrate solutions also after this date but only in connection with the course re-exams. If so, please contact the lab assistant well in advance. If the whole lab course is not complete in its entirety one year after course start, next year's lab course must be taken in its entirety (i.e. partial results are not kept).
The laboratory exercises have been designed with Sicstus Prolog in mind. Sicstus Prolog is available on IDA's Linux-system; however most of the exercises can be solved also using other free or public domain Prolog systems available on other platforms (click here for more information).
Do read the laboratory exercises and instructions before coming to the first class!
- Lab instructions and problems to solve
- Download the scanner needed for the labs
- Download the emacs code needed for SICStus mode in Emacs
- SICStus Prolog documentation (also in /sw/sicstus4.3.0/lib/sicstus-4.3.0/doc/ on IDA's Linux system; replace "4.3.0" by the current version number)
- Debugging hints, draft
- Student licence for SICStus Prolog, conditions
- Public domain Prolog systems
- Remote access to IDA Linux computers
The following snippet of code makes Prolog print longer lists before cutting off with "...".
:- prolog_flag(toplevel_print_options, _, [quoted(true),numbervars(true),portrayed(true),max_depth(20)]).
"20" may of course be changed as needed.
Page responsible: Wlodek Drabent
Last updated: 2017-10-10