Prolog fortgeschrittene Programmiertechniken - Sterling, Leon; Shapiro, Ehud (Addison-Wesley, 1988)