ProPa-Slides

Summer Term 2022 (most material from Summer Term 2021)

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

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

Additional lecture material:

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