From Logic Programming to Prolog (1997)

by K R Apt