Implementation of Recursive Queries for a Data ... - Cs.UCLA.Edu

2 downloads 827 Views 1MB Size Report
IOS and the answer returned. The price paid by Prolog is the need to use full unification in .... call recursive cliques, with their graph representation in mind. .... Magic Set Implementation of the List Merge .... For instance in the rule r0 of Figure 6,.

Suggest Documents