Introduction to prolog - Smt, R.P. (New Delhi PHI, 2001)