Negation as inconsistency. I

AbstractThe notion of negation as inconsistency is motivated and introduced into PROLOG. This negation is fully compatible with classical negation and gives a version of PROLOG which is a stronger fragment of classical logic than ordinary PROLOG. It is intended that negation as inconsistency replace the notion of negation as failure. Negation as inconsistency can be generalized in a natural way and in its generalized form will include negation as failure as a special case