Logic Programming 2 - NAIL077

• Title: Logické programování 2
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2020
• Semester: summer
• E-Credits: 3
• Hours per week, examination: summer s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Guarantor: RNDr. Jan Hric
• Teacher(s): RNDr. Jan Hric
• Class: Informatika Mgr. - Teoretická informatika
• Classification: Informatics > Programming, Theoretical Computer Science
• Co-requisite : NAIL076

Annotation

English

Prolog and its procedures, domains, data structures. Semantics of logic programs, Termination, Occur-check. Partial correctness, pre- and post-conditions. Negative information, rule "Negation by failure", nonmonotonic reasoning.

Last update: T_KTI (14.05.2015)

Czech

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í.

Last update: T_KTI (14.05.2015)

Aim of the course

English

To learn theory and techniques used in logic programming.

Last update: Hric Jan, RNDr. (07.06.2019)

Czech

Naučit teorii a techniky používané v logickém programování

Last update: T_KTI (26.05.2008)

Course completion requirements

English

Oral exam on topics from lecture.

Last update: Hric Jan, RNDr. (07.06.2019)

Czech

Na ústní zkoušce s přípravou prokázat znalost přednesených témat.

Last update: Hric Jan, RNDr. (07.06.2019)

Literature

English

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

Last update: T_KTI (14.05.2013)

Czech

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

Last update: Hric Jan, RNDr. (23.10.2012)

Syllabus

English

Relation between SLD-resolution and pure Prolog. Domains, data structures.

Termination of Prolog programs, staged mappings. Occur-check, modes of programs, linear terms. Partial correctness, pre- and post-conditions.

Negative information. Nonmonotonic deduction, closed world assumption, deduction

rule "negation by failure". Characterization of finite failure.

Completion of logic program. Transformation from logic program P with negation to

its completion, programs IF(P), IFF(P) and completion. Correctness of the rule

"negation by failure". Completeness of the rule "negation by failure".

Last update: T_KTI (14.05.2015)

Czech

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.

Last update: T_KTI (14.05.2015)