TY - JOUR T1 - Weakest Preconditions for Pure Prolog Programs JF - Inf. Process. Lett. Y1 - 1998 A1 - Dino Pedreschi A1 - Salvatore Ruggieri VL - 67 ER -