I think if done right, this falls out of Prolog automatically, as you program in relations, rather than functions. Depending on which places you leave empty in

I think if done right, this falls out of Prolog automatically, as you program in relations, rather than functions. Depending on which places you leave empty in a query, Prolog will work to fill in the empty places. One is probably the tar file and one is the folder being added to a tar archive, but none of the 2 is any more important than the other.