Has anyone read the Art of Prolog -- i have it collecting dust but when I bought it I was intrigued?