1. Prolog Programming for Artificial Intelligence;Bratko,1990
2. Introduction to Artificial Intelligence;Charniak,1985
3. Logical Foundations of Artificial Intelligence;Genesereth,1987
4. Principles of Artificial Intelligence;Nilsson,1980
5. Artificial Intelligence;Rich,1991