The Art of Prolog (1986)

by L Sterling, E Shapiro