The art of Prolog : advanced programming techniques - Sterling, Leon (MIT Press series in logic programming, 1986)