"Foundations of Equational Logic Programming" - читать интересную книгу автора (Steffen Hölldobler)