|
|
|
||
Prolog a jeho řídící struktury, domény a datové struktury. Sémantika programů. Konečnost výpočtů,
stupňová zobrazení. Test konfliktu proměnných. Dokazování správnosti programů. Negativní informace,
pravidlo "Negace jako neúspech", nemonotónní odvozování.
Poslední úprava: T_KTI (14.05.2015)
|
|
||
Naučit teorii a techniky používané v logickém programování Poslední úprava: T_KTI (26.05.2008)
|
|
||
Na ústní zkoušce s přípravou prokázat znalost přednesených témat. Poslední úprava: Hric Jan, RNDr. (07.06.2019)
|
|
||
Krzysztof R. Apt: From Logic Programming to Prolog, Prentice Hall International Series in Computer Science, 1996, ISBN-13: 978-0132303682
Krzysztof R. Apt , Roland Bol: Logic Programming and Negation: A survey. Journal of Logic Programming, 1994, vol. 19, pp. 9-71
John W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987 Poslední úprava: Hric Jan, RNDr. (23.10.2012)
|
|
||
Vztah SLD rezoluce k čistému Prologu. Domény, konečné domény.
Zastavování výpočtů, stupňová zobrazení, omezené dotazy.
Occur-check, mody, lineární termy.
Částečná korektnost, podmíněné dotazy a programy, před- a po-podmínky.
Negativní informace. Nemonotonní odvozování, hypotéza uzavřeného světa, odvozovací pravidlo "Negace jako neúspěch". Charakterisace konečného neúspěchu.
Zúplnění logického programu. Přechod od logického programu P s negací k jeho zúplnění, programy IF(P), IFF(P) a zúplnění. Korektnost pravidla negace definované neúspěchem. Úplnost pravidla negace definované neúspěchem.
Argumentace. Poslední úprava: T_KTI (14.05.2015)
|