Constructing logic programs / - Jacquet, J.-M. (Wiley,, 1993)