Functional and Logical Programming

Lecturer:

Jan Janoušek (gar.)

Tutor:

Martin Poliak

Supervisor:

Department of Computer Science

Synopsis:

Students will be acquainted with principles of functional and logic programming. They will be able to write their programs in Lisp and Prolog programming languages.

Requirements:

Basic knowledge of imperative programming.

Syllabus of lectures:

1. Declarative programming languages. Lambda calculus as a formalism for functional programming.

2. Basic data types and functions in Lisp, lists.

3. Variables, type predicates, recursion and iteration in Lisp.

4. Mapping functionals, control statements.

5. Input and output, macros.

6. Structures, vectors, arrays, hash tables.

7. Implementation of Lisp.

8. Predicate logic, Horns clauses and SLD resolutions as an introduction to Prolog.

9. Predicates, clauses, facts, operators in Prolog.

10. Control of the computation in Prolog, lists.

11. Data structures, input, output.

12. Implementation of Prolog.

13. Logic programming and proof trees - relation to attributed grammars.

Syllabus of tutorials:

1. Recursive programming, solving simple problems in an imperative programming language using recursion.

2. Introduction to the use of Lisp programming environment in computer lab.

3. Simple functions for processing lists in Lisp.

4. Assignment of semestral works.

5. Recursive and iterative solutions, efficiency of recursion.

6. Mapping functionals.

7. Arrays, hash tables, input and output.

8. Macros, structures.

9. Consultations on semestral works.

10. Introduction to the use of Prolog programming environment in computer lab.

11. Recursion in Prolog, arithmetic and list predicates.

12. Input and output, control of the computation.

13. Checking semestral works.

Study Objective:

The module deals with functional and logic programming. It explains basic principles and focuses on programming in Lisp and Prolog programming languages. Students learn the principles of implementation of Lisp and Prolog programming languages.

Study materials:

1. Shapiro, S. C. ''Common Lisp: An Interactive Approach''. W. H. Freeman, 1991. ISBN 0716782189.

2. Seibel, P. ''Practical Common Lisp''. Apress, 2005. ISBN 1590592395.

3. Clocksin, W. F., Mellish, C. S. ''Programming in Prolog (5th Edition)''. Springer, 2003. ISBN 3540006788.

Note:

Time-table for winter semester 2011/2012:

Time-table is not available yet

Time-table for summer semester 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue	roomT9:349 Janoušek J. 09:15–10:45 (lecture parallel1) Dejvice NBFIT místnost
Fri
Thu
Fri	roomT9:350 Poliak M. 11:00–12:30 ODD WEEK (lecture parallel1 parallel nr.101) Dejvice NBFIT PC ucebnaroomT9:350 Poliak M. 12:45–14:15 ODD WEEK (lecture parallel1 parallel nr.103) Dejvice NBFIT PC ucebna roomT9:350 Poliak M. 11:00–12:30 EVEN WEEK (lecture parallel1 parallel nr.102) Dejvice NBFIT PC ucebna

The course is a part of the following study plans:

• Branch System Programming, Version for Students who Enrolled in 2010, Presented in Czech (compulsory course of the specialization)
• Branch System Programming, Version for Students who Enrolled in 2010, Presented in Czech (compulsory course of the specialization)
• Knowledge Engineering, Version for Students who Enrolled in 2010, Presented in Czech (compulsory course of the specialization)
• Master Informatics, Version for Students who Enrolled in 2010, Presented in Czech (VO)
• Master Informatics, Presented in Czech, Version for Students who Enrolled in 2011 (VO)
• Knowledge Engineering, Presented in Czech, Version for Students who Enrolled in 2011 (compulsory course of the specialization)
• Branch System Programming, Presented in Czech, Version for Students who Enrolled in 2011 (compulsory course of the specialization)
• Branch Computer Science, Presented in Czech, Version for Students who Enrolled in 2011 (compulsory course of the specialization)
• Master Informatics, Presented in Czech, Version for Students who Enrolled in 2012 (VO)
• Branch System Programming, Presented in Czech, Version for Students who Enrolled in 2012 (compulsory course of the specialization)
• Branch Computer Science, Presented in Czech, Version for Students who Enrolled in 2012 (compulsory course of the specialization)
• Knowledge Engineering, in Czech, Presented in Czech, Version for Students who Enrolled in 2012 (compulsory course of the specialization)