第1026章 她家霍少棒棒哒（第三更大章求月票）
“何教授，就是这样……昨晚花了我的电脑一晚上的时间，还是什么都查不到……”顾念之都有些沮丧了。 她还从来没有碰到过这种情况。 何之初轻轻咳嗽一声，对顾念之说：“念之，我想问问你，你对Prolog这种编程语言熟悉吗？” “Prolog？Programming-in-logic？”顾念之迅速反应过来，“知道啊，但是这种编程语言运用并不广泛，还处于实验室阶段。” “那你知道它为什么运用并不广泛？”何之初像是在课堂讲课一样启发顾念之的思维。 “Prolog，也就是Programming-in-logic，顾名思义，它是一种基于逻辑理论的编程语言，也就是智能程序的一种。现有的电脑硬件水平有限，不足以支撑这种编程语言的大规模运用，所以实际运用基本为零。” “对，那它跟普通的编程语言有什么不同？”何之初抬眸看着窗外的阳光灿烂，眯了眯眼。 “呃，何教授是在考我吗？” “你不是号称天才电脑小能手吗？我看看你的基本知识掌握得怎么样。”何之初清浅地笑了笑，修长洁净的手指将窗帘放下，走到自己的书桌前坐下，打开了电脑。 顾念之嘻嘻笑了一声，说：“好吧，我是这样理解的。普通编程语言，程序员占有绝对主导地位。他的代码一行行明明白白，都是给电脑的指令。而Prolog这种逻辑编程语言，却是给电脑设定逻辑规则，然后让电脑根据逻辑规则自行判断如何进行下一步程序。” “举例来说，用普通编程语言让电脑计算公式，程序员教电脑先乘除，后加减。电脑严格按照程序员设定的计算顺序进行计算。从这个角度来说，电脑执行程序员的命令，永不出错。出错的只能是程序员写错了程序。” “而Prolog这种逻辑编程语言，是按照逻辑规则进行数据处理，并不是简单的先加减后乘除。” “最简单的逻辑关系是这样的，先设定小红是人，小丽也是人，两人互相喜欢。再给出判断规则：互相喜欢的人是朋友。那么当你输入小红喜欢小丽，小丽喜欢小红，电脑就会得出结论：她们是朋友关系。然后按照朋友关系进行下一步推理运行。” 何之初满意地点点头，“不错，深入浅出，是这个道理。但是，这是最基础的描述。——你用Prolog编过程吗？” 顾念之想了想，摇头说：“试过几次，但没有系统地大规模编过程。” 她从赵良泽那里学到的是最实用的黑客技术，这意味着她对现有广泛运用的程序研究得更多更透彻。 因为黑客本质说白了，就是破解功能。 最强大的黑客，可以破解一切程序。 而智能编程语言，基本上没有实际运用，也就不需要破解，因此顾念之对这一方面了解得比较粗浅。 “太可惜了，如果有机会，你多用Prolog编程，有些问题就不成为问题了。”何之初含蓄地提醒她。 顾念之一时没听出来何之初的言外之意，她耸了耸肩，不以为然地说：“可是智能程序跟计算机的人工智能息息相关，在人工智能取得突破性进展之前，这些智能编程语言只能是小打小闹，干嘛要花时间在这上面？等人工智能大行其道之后，我再来研究如何破解也不迟啊。” 何之初颇不赞成地摇了摇头，“念之，据我所知，这种智能编程语言，在有些国家的军方实验室里，已经是半成品了。——军方的半成品，你知道是什么概念吗？” 顾念之一下子卡壳了。 何之初的身份地位，让顾念之不能对他说的任何一句话等闲视之。 顾念之突然若有所悟。 她想到刚才何之初提到的Prolog这种编程语言，虽然她只有粗浅的了解，但是这些粗浅的了解包括了这种智能编程语言最核心的规则。 而何之初的提示，也像在顾念之面前打开了新世界大门。 她定定地看着电脑上她琢磨了一整个上午的源代码，好像明白了什么。 “念之？”何之初半天没有听见顾念之说话，有些担心地叫了她一声。 顾念之回过神，欣喜万分地说：“何教授你太厉害了！我觉得我已经找到问题所在了！对不起我要找bug了，等我找到bug，我请何教授吃饭！” “真的？你可别哄我。”何之初清冽冷漠的脸上露出一丝淡淡的笑意，那笑意既轻且浅，就像春天零星的雨水落入清澈的蔚蓝湖水中荡起的细小涟漪。 顾念之连连点头，“绝不食言！食言让我长成个大胖子！” “啧啧，你对自己真够狠的，连我都怕了。”何之初淡淡打趣她两句，就挂了电话。 看着眼前的电脑，何之初想了一下，点开了一个不常用的程序…… …… 顾念之挂了电话之后，盯着电脑显示屏足足半个小时，坐在那里一动不动，就如泥塑木雕一样。 其实她的脑子里正飞快地运转着，回想着如何使用Prolog这种智能逻辑编程语言，以及如何破解这种智能逻辑编程语言。 不过破解的第一步，是探测。 何之初的话，让顾念之有了一种新的设想。 一个普通程序里，如果夹杂有Prolog，或者跟Prolog类似的编程语言，会是什么情况？ 她和赵良泽都找不出来的bug，是不是跟Prolog这种智能编程语言有关？！ 又过了半个小时，顾念之全部想透彻了，才拿起鼠标，打开自己的编程本，开始写程序。 这一次，她把自己查验bug的小程序进行了改装，把智能编程语言也当做是一种bug进行查找。 查找的依据就是，凡是用逻辑设定进行运行的源代码，都是bug。 因为普通编程语言从来不用逻辑设定编写源代码。 改装之后，再重新对赵良泽给她的源代码进行查验。 这一次顾念之没有睡觉了，她一直坐在电脑前，眼睛都不眨地看着自己的程序运行查找。 不得不说，赵良泽给她的监控软件的源代码确实太厉害了。 幸亏她在霍绍恒官邸的这台电脑功能更加强大，才能进行这样高负荷的运算和检测。 尽管如此，也花了她几乎十二个小时，才完成整个检测。 她的中饭和晚饭都是在卧室吃的。 整整12个小时，顾念之脚不出户，除了去门口拿勤务兵送来的午饭和晚饭，她几乎没有离开电脑一步路。 晚上十一点，她的程序终于传来大功告成的叮铛声。 她从来没有看到电脑显示屏上出现的大大“Done”这么高兴过。 顾念之长长吁了一口气。 点开程序的error-report，她看到以前空空如也的验错报告里，出现了几行指令，顿时喜笑颜开。 昨天晚上她的程序查了一夜，可是一个错误都没有查出来。 那个error-report里什么都没有，顾念之却一点都不高兴。 现在看见error-report里出现了真正的错误指令，她却高兴得不得了，也是醉了。 顾念之兴奋地阅读验错报告，越看越兴奋，越看越激动。 “我擦！还有这种cao作？！” “居然能在普通程序语言里设定一个基于Prolog智能逻辑编程语言的递归程序！” “……这是在一群一个指令一个动作的傻子中安插了一个中二选手，悄悄地给傻子们发号指令啊……” 顾念之看得心潮澎湃，目不暇接。 就好像在只会“说一是一，说二是二”的源代码里，突然多了一种代码，告诉它们，当一出现的时候，可以原地不动，当二出现的时候，可以回到一。 如果既不是一，也不是二，那就照原指令运行。 这特么就是在既定的“一、二”两种情况之间设定了一个逻辑死程序啊！ 关键是用了智能逻辑编程为基础，让这种逻辑死不会成为死循环的病毒程序，所以不会被软件的使用人发现。 “真是太厉害了！谁这么天才啊？！” 顾念之顾不得半夜三更，激动地给何之初打电话：“何教授！我找到bug了！果然有人在普通编程语言里夹杂了几行prolog指令！——何教授您太厉害了！您才是天才！真正的电脑小能手！” 何之初刚睡了，被顾念之的电话吵醒，他也不生气，淡淡地笑了一下说：“能够被天才电脑小能手夸奖，我不胜荣幸之至。” 顾念之笑得很开心，“何教授太谦虚了，这个问题难倒我们很多人，没想到您居然一下子就看出了问题的本质。我想问问您，你为什么会知道是这个原因呢？您对电脑好像也很精通哦！” 何之初眼神闪了一下，从容不迫地说：“我也是站在巨人的肩膀上。——我曾经赞助过一个国家的军方实验室，看见他们做过这方面的测试。” “喔咧！明白！”顾念之知道何之初说的是哪个国家，她心照不宣地闭了闭眼，“看来，我们要赶超的路还很长啊……” “也不长了。”何之初悠然地靠坐在床上，“其实你说你们有人提出这个问题要么是电脑问题，要么是软件问题，已经指出了问题的核心。相信那个人只要再多想一阵子，就能想出问题的关键。” 因为只有智能编程语言才能真正驱使硬件为软件服务。 顾念之一下子觉得与有荣焉。 她家霍少就是这么棒棒哒！ ※※※※※※※※※※※※※※※※※※※※※ 这是第三更3100字了，也是大章哦！ 提醒亲们的月票和推荐票哦！ 早上第一更是两更合一，所以这更是第三更，没毛病2333333~~~ 么么哒！