Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
At the end of the course, students get acquainted with the basics of computational logics and the essentials of logic programming, along with the first elements of Prolog. In addition, students can understand and foresee the role of declarative and logic models and technologies in the ICT systems to come.
course contents
logic and computation
computational logic
logic programming
role of logic programming in pervasive intelligent systems
readings / bibliography
The bibliography is made available through the web site of the course.
