Highly Influential

An efficient and flexible engine for computing fixed-points is critical for many practical applications. In this paper, first, we present a goal-directed fixed-point computation strategy for the logic programming paradigm. Our strategy adopts tabled resolution (or memoized resolution) to mimic efficient semi-naive bottom-up computation. Its main idea is to… (More)

### Presentations referencing similar topics