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