Domain Modeling for Planning as Logic Programming