Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Olivetti, Nicola and Terracini, Lea. 1992. “N-Prolog and Equivalence of Logic Programs: Part I.”Journal of Logic, Language, and Information 1(4): 253–340.