Return to Article Details Analysis of some methods to avoid infinite loops in the process of query valuation for the datalog proograms. Download Download PDF