n-prolog

from The Free On-line Dictionary of Computing (8 July 2008)

N-Prolog

   {Prolog} extended with explicit negation.  Dov Gabbay
   <[email protected]>.

   [J Logic Programming].