Clocksin, W.F. & C.S. Mellish, "Programming in Prolog", Springer 1985.

Languages mentioned

• Edinburgh Prolog {1985}
• Prolog {1971} Logic programming language