On the Logical Content of Logic Programs. - Alexader V. Gheorghiu (CoRR, 2025)