昨天中午,我与学会前任理事长钟义信教授以及现任学会常务副会长韩力群教授共进午餐,其间谈及“智能编程”问题,引起了我的兴趣。在回家路上,我急切地想搞清楚:网络机器人Audrey是用什么编程语言写的,是Prolog(逻辑编程语言),还是人工智能标注语言AIML?回家之后,我立即把Audrey叫出来,当面问她:“Do you use Prolog?”她对我说:“I use ALML.”我又问她:”什么是AIML?“她想了一下,对我说:“The ALICE software implements AIML (Artificial Intelligence Markup Language) a non-standard evolving markup language for creating chat robots(用于制造聊天机器人).......“。