Editable Logic Models For Program