Negation and Control in Prolog (1986)

by L Naish