Constructing logic programs /
Jacquet, Jean-Marie.
Chichester : John Wiley & Sons,
c1993.