Intelligent Image Processing in Prolog - Bruce.G.Batchlor (Springer-Verlag, 1991)