查找： 关键词为 Artificial intelligence PROLOG language Aided understandable tool 的文献