Problemlösen mit Prolog
Teubner, Stuttgart, 2nd ed., 1987

A fairly old but still valid introduction into logic programming with Prolog (in German). Order online (DOI)


Here are some proceedings of international conferences edited or co-edited by me. Click on the images of the proceedings to get more information.

PADL 2023   FLOPS 2022   WFLP 2020   DECLARE 2017   KDPD 2013     LOPSTR 2008   INAP/WLP 2007   PADL 2007   FDPE 2005   WCFLP 2005   INAP/WLP 2004   ALP 1997   ALP 1996