The art of prolog : advanced programming techniques - Sterling, Leon (The MIT Press, 1994)