Amalgamating Naf and Nai

  title={Amalgamating Naf and Nai},
  author={Alessandra Di Pierro},
We deene a new logic language with negation by introducing existential and universal quantiiers in the queries. We call ??general programs and ??general goals the programs and the goals in this language. Negation is handled by using two rules: the NAF rule for universally quantiied negative queries and the NAI rule for existentially quantiied negative queries. We formalize this amalgamation in terms of NAIF-resolution (SLD-resolution with Negation As In-stantiation and Failure), and we prove… CONTINUE READING