Programming in prlolog (3rd ed) - Clocksin,W.F. (New Delhi Narosa Pub., 1987)