Logic programming and knowledge engineering
Amble, Tore1945-
Wokingham Addison-Wesley
1987
Includes bibliography and index
Expert systems (Computer science)
Electronic digital computers
Logic, Symbolic and mathematical.