Logic, Programming and Prolog
(PDF) Broken up into three parts: Foundations, Programming in Logic, and
Alternative Logic Programming Schemes. This books covers both the theory and
practice of logic programming with Prolog in detail.

The OpenGL
Programming Guide Also known as "The Red Book", this guide tells you
all you need to know about the 3D graphics programming library.