ICLP Workshop: Proof-Theoretical Extensions on Logic Programming