Also recommended: http://www.learnprolognow.org/ http://www.learnprolognow.org/ Sterling and Shapiro's _The Art of Prolog_ is wonderful, on par with (say) SICP

Also recommended: http://www.learnprolognow.org/ http://www.learnprolognow.org/ Sterling and Shapiro's _The Art of Prolog_ is wonderful, on par with (say) SICP. It focuses as much on the logic programming model as Prolog proper.