The Art of Prolog : advanced programming techniques - Sterling, Leon. (The MIT Press, 1994)
Includes bibliographical references & index.