Semirings for Probabilistic and Neuro-Symbolic Logic Programming