Information caching in the execution of logic programs | IEEE Conference Publication | IEEE Xplore