Gabbay, D. M. and Reyle, U., N-Prolog: An Extension of Prolog with HypotheticalImplications. I, Journal of Logic Programming 1:319 ? 355 1984

Languages mentioned

• N-Prolog {1985}