Persistent answer caching

This repo defines a SWI-Prolog library cache_rocks, which uses a RocksDB interface to provide persistent caching of answers. The answers are associated with a deep hash of the involved predicates, which means that they are invalidated when one of the predicates that are reachable from the call tree starting with the predicate associated with the goal changes.

Status

Experimental.

Requirements

• SWI-Prolog 7.5.14 or later
• Install the rocksdb binding from the pack:

  ?- pack_install(rocksdb).

  Note that this requires rocksdb installed on your system.