TY  - BOOK
AU  - Stobo,  John
TI  - Problem solving with Prolog
U1  - 005.133 S61P 
ER  -