AN ALGEBRAIC SEMANTICS FOR STRUCTURED TRANSITION-SYSTEMS AND ITS APPLICATION TO LOGIC PROGRAMS