Layerings of Logic Programs-Layer Decomposable Semantics and Incremental Model Computation