Programmatic provenance interactions

[d0rata]

Is there a way to access provenance information without going through a separate CLI? As in, if I use the documented C++ interface to load a program, populate it with relations and facts, and run that program, is there some API I can call within that same program to generate and receive proof trees?

For example, let's say I'm using the example path.dl program. Using the C++ interface, can I request a proof tree for a path from A -> D (assuming I've already added the required relations and facts) directly without having to interact with the provenance CLI?