From Logic Programming to Prolog (1996)

by K R Apt