Logik und Programmieren in Logik ein Lehrbuch - Yasdi, Ramin (Prentice Hall, 1995)