TY  - BOOK
AU  - Flach,Peter A.
TI  - Simply logical: intelligent reasoning by example 
SN  - 0471941522
U1  - 006.3 
PY  - 1994///
CY  - Chichester, West Sussex ; New York
PB  - John Wiley
KW  - Artifical intelligence
KW  - Logic, Symbolic and mathematical
KW  - Prolog (Computer program language)
KW  - Reasoning
KW  - Data processing
ER  -