Proseminar Logic Based Programming Languages

Organization

Registration is organized centrally for all seminars of the faculty. You will be contacted by e-mail after registration. Do not hesitate to contact Sascha Rechenberger if you experience any problems or have questions about the process.

The Proseminar is a platform to learn about, analyze and evaluate recent research approaches. Furthermore, it enhances presentation skills of scientific content by literature review, preparation of a scientific report, presentation and discussion of selected texts: The students familiarize themselves with their chosen topic, prepare a written report, give a scientific talk of their topic and participate in the discussion of the other presentations.

Topic: Declarative Programming Languages

In this proseminar, we will have a look at families and examples of deklarative programming languages. Amongst them functional languages like LISP, ML, Haskell or Curry, as well as logic-based programming languages like Prolog, Constraint Handling Rules or Curry.

We will explore their history, characteristic features, use-cases, as well as advantages and disadvantages in each case, and their relationship to the respective other languages.