ProPa-Slides

Summer Term 2023

https://fmidue.github.io/ProPa-Slides/2023/all.zip

• Haskell slides
• Prolog slides
• combined version for taking notes

Additional lecture material:

• week01:
  • Example01.hs
• week02:
  • about Variables and Functions
  • about Syntax Trees
  • Example02.hs
• week03:
  • about Algebraic Manipulation
  • Example03.hs
  • Example04.hs
  • Example05.hs
  • Example06.hs
  • Python code from presence session
• week04:
  • Example07.hs
  • about Types - Examples
  • Python code from presence session
• week05:
  • for Repetition and Remarks
  • Example08.hs
  • Example09.hs
• week06:
  • Example10.hs
  • Test suite from presence session
• week07:
  • about Syntax for Anonymous Functions
  • Python code from presence session
• week08:
  • about Tree Representation and Matching
  • More Examples
  • Example11.hs
• week09:
  • about List Structures and foldr
  • about Lazy Evaluation
  • Example12.hs
  • uncurry example from presence session
  • curry example from presence session
  • modelling example from presence session
• week10:
  • about List Syntax - Haskell vs. Prolog
  • graph example from presence session
• week11:
  • about Haskell-to-Prolog
• week12:
  • about Resolution-Example
  • Prolog code from presence session