prolog的gnu实现gprolog的手册。对人工智能感兴趣的可以看看