Michael Hanus

Textbooks

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)

Proceedings

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