logic not

logic not: notp
prolog's repeat