أرسل هذا في رسالة قصيرة: Query proof structure caching for incremental evaluation of tabled PROLOG programs /