The words contained in this file might help you see if this file matches what you are looking for:

...An improved continuation call based implementation of tabling pablo chico de guzman manuel carre v ilermenegildo ci audio silva and ricardo rocha school computer science univ politeenica madrid spain depts comp electr eng new mexico usa dcc fc liacc university porto portugal abstract tabled evaluation has been proved effective method to improve several aspects goal oriented query including ter mination complexity native implementations have developed which offer good performance but many them require significant changes the underlying prolog implementa tion compiler machine approaches on program transformation tend mim mize both also proposed they often result in lower efficiency we explore some techniques aimed at combining best these worlds i e developing extensible im plementation requires minimal modifications with reasonably our pre liminary experiments indicate promising results keywords logic programming introduction is a resolution strategy tries memoizc previous calls their an...