6 citations · 9 across the 5 of their papers we have counts for
1 paper · 2 filters
Benoit Desouter, Tom Schrijvers, Marko van Dooren
Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches…