The art of Prolog: advanced programming techniques.- 2nd Ed. - Sterling, Leon (PHI, 1996)