LogicGrowsOnTrees-1.0.0: a distributed (parallel) implementation of logic programming via dynamically generated trees