GuessHolo2, and GuessHolo3 are two Maple packages that guess holonomic representations for discrete functions of two and three variables respectively, and apply them for conjecturing (and proving!) pure reecurrence relations for discrete functions enumerating lattice paths. They accompany by the article The Holonomic Ansatz I. Foundations and Applications to Lattice Path Counting (Posted Feb. 5, 2006).