RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Logic Programming

Overview

The participants of the course will get introduced to logic programming, study its logical foundations and computational model, and learn practical programming in Prolog.

There will be several programming assignments. Their marks will result into the final grade.

Organization

Winter Semester 2017.

Registration

Please register for the course via the KUSSS system.

Contents

Course Materials


Maintained by Temur Kutsia.