[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.
Logic Programming
| Language of instruction | angličtina, čeština |
|---|---|
| Code | 460-4093 |
| Abbreviation | LP |
| Course title | Logic Programming |
| Coordinating department | Department of Computer Science |
| Course coordinator | prof. RNDr. Marie Duží, CSc. |
Summary
The course will provide the fundamentals of logic programming. Students will learn how to specify a program in the declarative way as a knowledge base of facts and rules. We will also deal with evaluation strategies based on resolution method and with the foundations of machine learning.
Literature
Advised literature
[1] D. DeGroot, G. Lindstrom. Logic Programming; Functions, Relations and Equations. Prentice Hall, New Jersey, 1986.