Sterling, Leon and Ehud Shapiro "The Art of Prolog"
(1986)
Languages mentioned
Prolog
{1971} Logic programming language