• knowledge of the basic principles of declarative programming, different than a traditional programming;
• knowledge of the main methods and structures that are used in functional and logic programming for writing applications;
• the ability to create and debug programs in a declarative programming language that is suitable to computer programming environment.

Fundamentals of Programming
Algorithms and Data Structures

Programming paradigms. General characteristics of functional programming. The concept of S-expression. Lambda calculus. Basic primitives. Construction of recursive functions.The functions of higher orders. Data driven programming. Prolog - the language of artificial intelligence and analytic transformation. Predicate logic. Backtracking. Term. Facts. Rule. Recursive forms of data and programs. Control of backtracking. Processing of structured information.

• Abelson, Harold; Sussman, Gerald Jay; Sussman, Julie (1996). Structure and Interpretation of Computer Programs (2nd ed.). MIT Press. ISBN 0-262-01153-0.
• Bratko, Ivan. Prolog Programming for Artificial Intelligence, 3rd edition. Pearson Education / Addison-Wesley, 2001

• written reports on laboratory work, interviews, reference work (45%);
• final control (control measure, exam), written form and interviews (55%).