Which one of the following is a correct implementation of the metapredicate
“not” in PROLOG (Here G represents a goal) ?
(A) not(G):– !, call(G), fail.
not(G).
(B) not(G):– call(G), !, fail.
not(G).
(C) not(G):– call(G), fail, !.
not(G).
(D) not(G):– call(G), fail.
not(G):– !.