Introduction to Logic Programming (1984)

by C Hogger