Logic Programs, Norms and Action