Understanding the control of Prolog programs (1980)

by Lawrence Byrd