Tbilisi, Georgia

Introduction to Logic Programming with Prolog

when 1 July 2019 - 12 July 2019
language English
duration 2 weeks
fee EUR 100

Logic programming is a paradigm of declarative programming which is based on Horn logic. Logic programming languages are widely used in artificial intelligence, natural language processing, information extraction, networking, program analysis, software engineering, security, cloud computing, etc.

This course will introduce students logic programming language. In particular, we discuss the foundations of logic programming, programming techniques, and applications in several areas. During the class students will master to implement problems in logic programming style. They also will learn how to write efficient programs. Logic programming will be illustrated using the programming language Prolog.

Course leader

Prof. Dr. Besik Dundua

Target group

This course is designed for students who want to study a declarative style programming language.

Course aim

After this course you will be able to understand basic concepts of logic programming and writing a program with the programming language Prolog.

Fee info

EUR 100: •Teaching and teaching materials;
•Free internet access on campus;
•Access to library;
•Support of the Summer School staff.

Scholarships

No Scholarship available