Simply logical : intelligent reasoning by example /
Peter Flach.
- Chichester, West Sussex ; New York : John Wiley , c1994.
- xv , 240 p. : ill. ; 25 cm.
- Wiley Professional Computing. .
0471941522
Artifical intelligence. Logic, Symbolic and mathematical. Prolog (Computer program language) Reasoning--Data processing.