Title: Tabling Techniques and Table Driven Prog