twelf/src/tabling
