May 3 – 6 , 2021, Event 21183

Logic Programming Meets Software Language Engineering


Sebastian Erdweg (Universität Mainz, DE)

For support, please contact

Heike Clemens


While logic programming languages are semantically attractive due to their proof-search and fixpoint semantics, it is not obvious how to best make use of them in software language engineering. During this research stay we will study different logic programming languages and their solvers to figure out their respective advantages and disadvantages. We will explore how typical tasks from software language engineering such type checking, refactoring, and code generation can be encoded and supported by logic programming languages.

Motivation text license
  Creative Commons BY 3.0 DE
  Sebastian Erdweg

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.