Gabbay, D.M. "N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure"

(1985) J Logic Prog 2(4) (1985)  

Languages mentioned N-Prolog {1985}