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.

Creative Commons BY 3.0 DE

Sebastian Erdweg