D.  Pedreschi and Ruggieri, S., ?Weakest Preconditions for Pure Prolog Programs?, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.