search

SWI-Prolog / packages-semweb

The SWI-Prolog RDF store
29 stars 15 forks source link

rdf_unload_graph/1 does not work in snapshots #66

Open wouterbeek opened 7 years ago

wouterbeek commented 7 years ago 
:- use_module(library(semweb/rdf11)).

test1 :-
  rdf_assert(a, a, a, a),
  rdf_transaction(test2, _, [snapshot(true)]).

test2 :-
  rdf_assert(b, b, b, b),
  forall(rdf_graph(G), write(G)), nl,
  forall(rdf_graph(G), rdf_unload_graph(G)),
  forall(rdf_graph(G), write(G)), nl.

Running ?- test2. works as expected, but running ?- test1. does not unload graphs a and b.

wouterbeek commented 7 years ago

This is not so much a bug as an inherent limitation of the current triple store implementation. Access to graphs from within a snapshot can be supported once graphs are added to the API.