LogicGrowsOnTrees-1.1: a parallel implementation of logic programming using distributed tree exploration