Automatic Compilation of Protocol Insecurity Problems into Logic Programming