Cílem předmětu je seznámit studenty se základy logického programování. Studenti se naučí specifikovat program deklarativně, tj. na základě faktů a pravidel. Budou rovněž seznámeni se způsoby vyhodnocování dotazů na základě rezoluční metody a se základy strojového učení.
Povinná literatura
[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.
[4] M. Bieliková, P. Návrat. Funkcionálne a logické programovanie. STU Bratislava 2000.
Doporučená literatura
[1] D. DeGroot, G. Lindstrom. Logic Programming; Functions, Relations and Equations. Prentice Hall, New Jersey, 1986.