Sterling, Leon. The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren. - Second - Cambridge, Mass. : MIT Press, c1994. - xxxix, 509 p. : ill. ; 24 cm. - Logic programming .