Ladder logic programming