Olivetti, N; Terracini, L "N-Prolog and equivalence of logic programs" Journal of Logic Language and Information, 1992

Languages mentioned

• N-Prolog {1985}