Список литературы

1. Clark, McCabe, Ennals, Micro-Prolog Primer, Sinclair 1983
2. McCabe, Clark, Brough, Micro-Prolog Reference Manual, Sinclair 1984
3. Weizenbaum, Computer Power and Human Reason, Pelican 1984
4. Rich, Artificial Intelligence, McGraw-Hill 1983
5. O'Shea (Ed.), Artificial Intelligence, Harper & Row 1984
6. Hayes and Michie (Ed.), Intelligent Systems, Ellis Horwood 1983
7. Gray, Logic Algebra and Databases, Ellis Horwood 1984
8. Aleksander, Designing Intelligent Systems, Kogan Page 1984
9. Lemmon, Beginning Logic, Nelson 1971
10. Bittinger, Logic and Proof, Addison-Wesley 1970
11. Burnham and Hall, Prolog Programming and Applications, MacMillan 1985
12. Gardner, Further Mathematical Diversions, Penguin 1969