Email Post: PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS