Logic Programming - pocket, Engelska, 2004