195
click to vote
EUROPAR
2004
Springer
16 years 13 hour ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...