Back cover:
An introductory text on micro-PROLOG, the microcomputer version of PROLOG, which is the language used by the Japanese fifth-generation computer project as the core language for designing expert systems. The text introduces the features of micro-PROLOG through a series of related examples and numerous exercises which guide the reader to the final section of chapters on the applications of logic programming and PROLOG.