Ladder Logic Programs