TY  - BOOK
AU  - Jean-Marie,Jacquet
TI  - Constructing logic programs
SN  - 0471937894
U1  - QA/76.63 
PY  - 1992///
CY  - Chichester
PB  - John Wiley & Sons
KW  - Logic programming.
N1  - Includes bibliographical references and index
ER  -