发送短信 : Query proof structure caching for incremental evaluation of tabled PROLOG programs /