Content

The follwing topics are studied:

• a logic programming language, e.g., Prolog
• basic concepts: predicates, unification, backtracking, selection strategy, specification of problems using Horn clauses, declarative and procedural meaning of a logic program, multidirectionality
• Prolog: pure Prolog, negation, (recursive) data structures, built-in predicates, meta predicates
• programming techniques: data (facts, terms), accumulators, memoization, failure driven loops, state space search problems, meta interpreters, non-ground data structures with variables
• a functional programming language, e.g., Haskell
• basic concepts: functions, reduction strategies, call-by-need, lazy/strict
• Haskell: algebraic datatypes, higher-order functions, monomorphic and polymorphic types, type classes, currying
• programming techniques: structural recursion, infinite processes, list comprehension, pure functions and monadic input/output
• type inference
• insight in the history of, research on and the landscape surrounding declarative languages
• execution mechanisms for declarative languages and developments

Course material

Study cost: 76-100 euros (The information about the study costs as stated here gives an indication and only represents the costs for purchasing new materials. There might be some electronic or second-hand copies available as well. You can use LIMO to check whether the textbook is available in the library. Any potential printing costs and optional course material are not included in this price.)

Book: Soar with Haskell, T. Schrijvers, Packt Publishing, 978-1805128458.
Own course material.

Format: more information

Flipped classroom.

Content

There are 10 exercise sessions.  Students apply the acquired material by writing programs on PCs under supervision of a teaching assistant.