TY  - BOOK
AU  - Clark,  K. L.
TI  - Micro-PROLOG: programming in logic. 
U1  - 005.133 C547M 
ER  -