Multiplicative exponential proof structures and logic programming