“何教授,就是这样……昨晚花了我的电脑一晚上的时间,还是什么都查不到……”顾念之都有些沮丧了。
她还从来没有碰到过这种情况。
何之初轻轻咳嗽一声,对顾念之说:“念之,我想问问你,你对prolog这种编程语言熟悉吗?”
“prolog?programming-in-logic?”顾念之迅速反应过来,“知道啊,但是这种编程语言运用并不广泛,还处于实验室阶段。”
“那你知道它为什么运用并不广泛?”何之初像是在课堂讲课一样启发顾念之的思维。
“prolog,也就是programming-in-logic,顾名思义,它是一种基于逻辑理论的编程语言,也就是智能程序的一种。现有的电脑硬件水平有限,不足以支撑这种编程语言的大规模运用,所以实际运用基本为零。”
“对,那它跟普通的编程语言有什么不同?”何之初抬眸看着窗外的阳光灿烂,眯了眯眼。
“呃,何教授是在考我吗?”
“你不是号称天才电脑小能手吗?我看看你的基本知识掌握得怎么样。”何之初清浅地笑了笑,修长洁净的手指将窗帘放下,走到自己的书桌前坐下,打开了电脑。
顾念之嘻嘻笑了一声,说:“好吧,我是这样理解的。普通编程语言,程序员占有绝对主导地位。他的代码一行行明明白白,都是给电脑的指令。而prolog这种逻辑编程语言,却是给电脑设定逻辑规则,然后让电脑根据逻辑规则自行判断如何进行下一步程序。”
“举例来说,用普通编程语言让电脑计算公式,程序员教电脑先乘除,后加减。电脑严格按照程序员设定的计算顺序进行计算。从这个角度来说,电脑执行程序员的命令,永不出错。出错的只能是程序员写错了程序。”
“而prolog这种逻辑编程语言,是按照逻辑规则进行数据处理,并不是简单的先加减后乘除。”
“最简单的逻辑关系是这样的,先设定小红是人,小丽也是人,两人互相喜欢。再给出判断规则:互相喜欢的人是朋友。那么当你输入小红喜欢小丽,小丽喜欢小红,电脑就会得出结论:她们是朋友关系。然后按照朋友关系进行下一步推理运行。”
何之初满意地点点头,“不错,深入浅出,是这个道理。但是,这是最基础的描述。你用prolog编过程吗?”
顾念之想了想,摇头说:“试过几次,但没有系统地大规模编过程。”
她从赵良泽那里学到的是最实用的黑客技术,这意味着她对现有广泛运用的程序研究得更多更透彻。
因为黑客本质说白了,就是破解功能。
最强大的黑客,可以破解一切程序。
而智能编程语言,基本上没有实际运用,也就不需要破解,因此顾念之对这一方面了解得比较粗浅。
“太可惜了,如果有机会,你多用prolog编程,有些问题就不成为问题了。”何之初含蓄地提醒她。
顾念之一时没听出来何之初的言外之意,她耸了耸肩,不以为然地说:“可是智能程序跟计算机的人工智能息息相关,在人工智能取得突破性进展之前,这些智能编程语言只能是小打小闹,干嘛要花时间在这上面?等人工智能大行其道之后,我再来研究如何破解也不迟啊。”
何之初颇不赞成地摇了摇头,“念之,据我所知,这种智能编程语言,在有些国家的军方实验室里,已经是半成品了。军方的半成品,你知道是什么概念吗?”
顾念之一下子卡壳了。
何之初的身份地位,让顾念之不能对他说的任何一句话等闲视之。
顾念之突然若有所悟。
她想到刚才何之初提到的prolog这种编程语言,虽然她只有粗浅的了解,但是这些粗浅的了解包括了这种智能编程语言最核心的规则。
而何之初的提示,也像在顾念之面前打开了新世界大门。
她定定地看着电脑上她琢磨了一整个上午的源代码,好像明白了什么。
“念之?”何之初半天没有听见顾念之说话,有些担心地叫了她一声。
顾念之回过神,欣喜万分地说:“何教授你太厉害了!我觉得我已经找到问题所在了!对不起我要找bug了,等我找到bug,我请何教授吃饭!”
“真的?你可别哄我。”何之初清冽冷漠的脸上露出一丝淡淡的笑意,那笑意既轻且浅,就像春天零星的雨水落入清澈的蔚蓝湖水中荡起的细小涟漪。
顾念之连连点头,“绝不食言!食言让我长成个大胖子!”
“啧啧,你对自己真够狠的,连我都怕了。”何之初淡淡打趣她两句,就挂了电话。
看着眼前的电脑,何之初想了一下,点开了一个不常用的程序……
……
顾念之挂了电话之后,盯着电脑显示屏足足半个小时,坐在那里一动不动,就如泥塑木