Negation by failure, in Logic and (1978)

by K L Clark