Logic Programs and Causal Proofs