Reformulating OpenCog Algorithms as probabilistic programming