Query proof structure caching for incremental evaluation of tabled PROLOG programs - Ali, Taher Muhammad (2013)