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