TY  - BOOK
AU  - Stobo,  John
TI  - Problem solving with prolog
U1  - 5.133 
ER  -