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