Sökning: "Torbjörn Näslund"

Hittade 1 avhandling innehållade orden Torbjörn Näslund.

1. 1. SLDFA-resolution : computing answers for negative queries

   Författare :Torbjörn Näslund; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The notion of SLDNF-resolution gives a theoretical foundation for implementation of logic programming languages. However, a major drawback of SLDNF-resolution is that for negative queries it can not produce answers other than yes or no. Thus, only a limited class of negative queries can be handled. LÄS MER