内涵大量人工智能经典案例以及prolog程序,都可以用。