Hofstadter D R, 1980. Godal, Escher, Bach: An Eternal Golden Braid, Vintage Books.

Addis T R, 1985. Designing Knowledge-Based Systems, Kogan Page.

Alexander I, 1986. Designing Intelligent Systems, Kogan Page.

Hodges W, 1985. LOGIC, Pelican.

Bratko I, 1986. PROLOG programming for Artificial Intelligence, Addison-Wesley.

Winston P H and Horn B K P, 1981. LISP, Addison-Wesley.