Prolog and expert systems - Bowen, Kenneth A. (New York : McGraw-Hill, 1991)
Includes index.
Bibliography: p.341-342.
Keywords: Expert systems (Computer science); Prolog (Computer program language); Recursion theory