I have to concur. Markus Triska is best Prolog resource out there nowaday. Extremely well explained, using modern notations etc.