TY  - BOOK
AU  - Maier,  David
AU  -  Warren,  David S.
TI  - Computing with logic: logic programming with Prolog. 
U1  - 005.133 M281C R 
ER  -