Re: logic programming with naf and true negation