A I ] 2 1 M ar 2 01 4 Towards Active Logic Programming 1