Set Graphs VI: Logic Programming and Bisimulation