Tok Wang Ling The Prolog Not-Predicate and Negation as Failure Rule. 5-31 1990 8 New Generation Comput. 1 db/journals/ngc/ngc8.html#Ling90