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