The craft of Prolog (1990)

by Richard A O’Keefe