Methods of Logic Programming - NAIL022

• Title: Metody logického programování
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2019
• Semester: winter
• E-Credits: 3
• Hours per week, examination: winter s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Additional information: http://ktiml.mff.cuni.cz/~hric/vyuka.htm
• Guarantor: RNDr. Jan Hric
• Class: Informatika Mgr. - Teoretická informatika; Informatika Mgr. - Matematická lingvistika
• Classification: Informatics > Programming, Theoretical Computer Science

Annotation

English

The lecture gives an overview about logic programming. The covered topics are WAM - Warren Abstract Machine, binarization, abstract interpretation, partial evaluation, types and constraint logic programming.

Last update: T_KTI (10.04.2001)

Czech

Přednáška podává přehled o logickém programování. Probírá implementační a optimalizační techniky, rozšíření a pokročilé metody tvorby programů. Zahrnuje části věnované: WAM - Warrenův abstraktní stroj, binarizace, abstraktní interpretace, částečné vyhodnocování, typy, programování s omezeními.

Last update: ()

Aim of the course

English

To learn theory and techniques used in Prolog and its implementations.

Last update: Hric Jan, RNDr. (07.06.2019)

Czech

Naučit vybrané techniky používané v Prologu a jeho implemenacích.

Last update: Hric Jan, RNDr. (07.06.2019)

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

[1] H. Ait-Kaci: Warren's Abstract Machine - A Tutorial Reconstruction, MIT Press, 1991

[2] N.D. Jones, C.K. Gomard, P. Sestoft: Partial evaluation and Automatic Program Generation, Prentice Hall, New York, 1993

[3] J.Jaffar, M.J.Maher: Constraint Logic Programming: A Survey; in: Journal of Logic Programming, 1994, vol. 19/20, pp. 503 - 581

[4] R.A.O'Keefe: The Craft of Prolog, MIT Press, 1990

Last update: Zakouřil Pavel, RNDr., Ph.D. (05.08.2002)

Syllabus

English

1. Compilation of logic programs, Warren Abstract Machine [1], method for development of abstract machines and their instructions. Implementation of built-in predicates, optimizations.

2. Abstract interpretation - method for extraction of global information about programs, abstract and concrete domains, cumulative semantics, using of extracted information in compilation.

3. Transformation of logic programs, partial evaluation [2], Futamura projections. Partial evaluation for Prolog, solving of nondeterminism.

4. Ideas of constraint logic programming [3] (CLP), domains and solvers.

5. Advanced programming methods.

Last update: T_KTI (14.05.2015)

Czech

Překlad logických programů, Warrenův abstraktní stroj [1], technika návrhu abstraktního stroje a jeho instrukční sady. Implementace vestavěných predikátů, optimalizace.

Abstraktní interpretace - metoda pro získávání globálních informací o programu, abstraktní a konkrétní domény, zhromažďující sémantiky. Abstraktní interpretace pro Prolog, použití odvozených informací při kompilaci.

Transformace logických programů, částečné vyhodnocování [2] (partial evaluation) jako optimalizační technika, Futamurovy transformace, automatizovaná tvorba kompilátorů a generátoru kompilátorů. Částečné vyhodnocování pro Prolog, řešení

nedeterminismu.

Myšlenky logického programování s omezujícími podmínkami [3] (Constraint LP), používané jazyky, domény a řešiče, připojení a implementace řešiče a techniky řešení, řešení kombinatorických problémů v konečných doménách, příklady a aplikace.

Pokročilé programátorské techniky, tvorba programů postupným zjemňováním, metoda technik a skeletonů, vztah k OOP a virtuálním procedurám.

Last update: T_KTI (14.05.2015)