[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.
Logické programování
| Jazyk výuky | angličtina, čeština |
|---|---|
| Kód | 460-4093 |
| Zkratka | LP |
| Název předmětu česky | Logické programování |
| Název předmětu anglicky | Logic Programming |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | prof. RNDr. Marie Duží, CSc. |
Anotace
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
Doporučená literatura
[1] D. DeGroot, G. Lindstrom. Logic Programming; Functions, Relations and Equations. Prentice Hall, New Jersey, 1986.