资料来源 : Free On-Line Dictionary of Computing

N-Prolog
     
        {Prolog} extended with explicit negation.  Dov Gabbay
        .
     
        [J Logic Programming].