“Prolly Tree” is short for “Probabilistic B-tree”. “Prolly Tree” was coined by the good folks who built Noms, who as far as we can tell invented the data structure. We here at DoltHub have immense respect for their pioneering work, without which Dolt would not exist.