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