Skip to main content
Skip header

Logic Programming

Type of study Follow-up Master
Language of instruction Czech
Code 460-4093/01
Abbreviation LP
Course title Logic Programming
Credits 4
Coordinating department Department of Computer Science
Course coordinator prof. RNDr. Marie Duží, CSc.

Subject syllabus

Lectures:
1. The structure of a logical program
2. Communication with Prolog interpreter, quering
3. Prolog evaluatiuon strategies.
4. Syntactic structures of Prolog (facts, rules, lists, built-in predicates,…)
5. Simple applications; relational databases, graphs, natural language processing
6. Recursion
7. Cut vs. not
8. Crisp vs. fuzzy approach (theory and practice)
9. Introduction to fuzzy Prolog (Ciao Prolog), Aggregation operators, syntax
10. Applications of fuzzy logic programming
11. Artificial intelligence in agent systems; machine learning algorithms in Prolog.
12. Graphic interface in LPA Prolog

Seminars:
1. The structure of a logical program
2. Communication with Prolog interpreter, quering
3. Prolog evaluatiuon strategies.
4. Syntactic structures of Prolog (facts, rules, lists, built-in predicates,…)
5. Simple applications; relational databases, graphs, natural language processing
6. Recursion
7. Cut vs. not
8. Crisp vs. fuzzy approach (theory and practice)
9. Introduction to fuzzy Prolog (Ciao Prolog), Aggregation operators, syntax
10. Applications of fuzzy logic programming
11. Artificial intelligence in agent systems; machine learning algorithms in Prolog.
12. Graphic interface in LPA Prolog

E-learning

Literature

[1] J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987.
[2] I. Bratko. PROLOG. Programming for Artificial Intelligence (3rd edition). Addison Wesley 2001.
[3] W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer-Verlag 1987.

Advised literature

[1] D. DeGroot, G. Lindstrom. Logic Programming; Functions, Relations and Equations. Prentice Hall, New Jersey, 1986.