Strange Loop 2013 - Linear Logic Programming