This is a very partial emulation of the XSB storage library using SWI-Prolog non-backtrackable data structures. SWI-Prolog global variables and destructive operations are, like XSB storages thread local.

bug

- A storage is a SWI-Prolog global variable, sharing the same name space.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 storage_insert_fact(Arg1, Arg2, Arg3)

 storage_find_fact(Arg1, Arg2)

 storage_delete_all(Arg1)