UU阅书 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

,。

“何教授,就是这样……昨晚花了我的电脑一晚上的时间,还是什么都查不到……”顾念之都有些沮丧了。【.】

她还从来没有碰到过这种情况。

何之初轻轻咳嗽一声,对顾念之说:“念之,我想问问你,你对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里出现了真正的错误指令,她却高兴得不得了,也是醉了。

顾念之兴奋地阅读验错报告,越看越兴奋,越看越激动。

“我擦!还有这种操作?!”

“居然能在普通程序语言里设定一个基于prolog智能逻辑编程语言的递归(recursion)程序!”

“……这是在一群一个指令一个动作的傻子中安插了一个中二选手,悄悄地给傻子们发号指令啊……”

顾念之看得心潮澎湃,目不暇接。

就好像在只会“说一是一,说二是二”的源代码里,突然多了一种代码,告诉它们,当一出现的时候,可以原地不动,当二出现的时候,可以回到一。

如果既不是一,也不是二,那就照原指令运行。

这特么就是在既定的“一、二”两种情况之间设定了一个逻辑死程序啊!

关键是用了智能逻辑编程为基础,让这种逻辑死不会成为死循环的病毒程序,所以不会被软件的使用人发现。

“真是太厉害了!谁这么天才啊?!”

顾念之顾不得半夜三更,激动地给何之初打电话:“何教授!我找到bug了!果然有人在普通编程语言里夹杂了几行prolog指令!——何教授您太厉害了!您才是天才!真正的电脑小能手!”

何之初刚睡了,被顾念之的电话吵醒,他也不生气,淡淡地笑了一下说:“能够被天才电脑小能手夸奖,我不胜荣幸之至。”

顾念之笑得很开心,“何教授太谦虚了,这个问题难倒我们很多人,没想到您居然一下子就看出了问题的本质。我想问问您,你为什么会知道是这个原因呢?您对电脑好像也很精通哦!”

何之初眼神闪了一下,从容不迫地说:“我也是站在巨人的肩膀上。——我曾经赞助过一个国家的军方实验室,看见他们做过这方面的测试。”

“喔咧!明白!”顾念之知道何之初说的是哪个国家,她心照不宣地闭了闭眼,“看来,我们要赶超的路还很长啊……”

“也不长了。”何之初悠然地靠坐在床上,“其实你说你们有人提出这个问题要么是电脑问题,要么是软件问题,已经指出了问题的核心。相信那个人只要再多想一阵子,就能想出问题的关键。”

UU阅书推荐阅读:隐姓埋名二十年,崛起先杀白月光捡回家的班花太黏人,我遭老罪了全能少女UP主人在家中坐,萝莉天上来重生后,我只想混娱乐圈桃运修真者漫漫修真路,一人独登仙陌上花开为君归前男友爆红后我被迫官宣了深山林场:重返83打猎发家妖女满堂?明明是仙子忠诚!重生之学霸无双头顶青青草原,老实人的憋屈重生爆宠甜妻:总裁,坏死了!让你带娃,你给我科技整活?这个残王我罩了甜心攻略:我和国民学姐超甜cp都市重生:我在七日世界刷神宠绝品高手混花都四合院:开局先打断何雨柱的手直播科普帝皇铠甲,国家疯狂打榜夭寿啦!怎么友谊又变质了?邻家姐妹竟是情敌开局挖到尸体,直接觉醒系统封少的掌上娇妻重生高中时代:许你人间繁华带着房子穿女尊开局先当带路党,结局无奈成英雄最强兵王重出江湖我的功法来自一万年后名门俏医妃光之巨人:我就是旧日支配者爱情公寓之顶层精英疯了吧!你管这叫务农?诸天影视:从照顾战友遗孀开始农家有儿要养成难道你还想建国开局获得系统,我被美女们盯上了超级至尊吹牛系统狐妖:再续前缘神秘复苏:只有我知道剧情异能狱警,不稳绝不出手开局成为世界之主穿越诸天开局签到厨神秘制灌汤包穿越到古代双修无敌归来誓言反噬我只想过的平静一些啊!扑倒小甜妻:老公,请亲亲!边境风云:林浩的荣耀之路开局救下女总裁,她竟然非我不嫁
UU阅书搜藏榜:小楼大厦大国中医潇洒离婚后,她藏起孕肚成首富!予你熠熠星光小祖宗她是顶流大佬的心尖宠平淡的水乡生活绑定慈母系统后,我摆烂了凰妃逆天下玄学大佬被乖兮兮的奶狗缠疯了林域守从长征开始:十军团的绝境血路接单相亲,美女总裁赖上我直播打假,开局800页保险护体我和我姐一起穿越了魔族少年闯人间四合院:从逃荒开始逆天十八线艺人搞副业,天天跑警局穿书:我被疯批反派夜夜盯到腿软小市场住手!这不是游戏世界!才女清照权斗觉醒时代:我的队友全是觉醒女神神豪花钱系统!医品嫡妃:娇宠偏执摄政王重生之寒门吝啬媳八零后少林方丈史上最强斩妖师道吟重生黑客女王:冷少追妻忙第99次心动娘亲有点拽我家有只九尾狐腹黑竹马:小青梅,吃不够!被团宠成顶流后,她掉马了最强老公:独宠软萌小甜妻圣灵魔法师绝品医妃:误惹腹黑王爷顶流宠妃倾天下总裁老公惹不得我是修士,你们怎么跟我玩修真到异世求求你出道吧穿越后我靠混吃等死苟成了终极大佬慢穿之璀璨人生蚀骨婚情:前夫,请止步人在终极,开局时空之子美人犹记总裁三观不太正五行天
UU阅书最新小说:生长新歌重生09:我为财富之王权势巅峰:从省纪委秘书开始女子监狱走出后,我医武双绝震惊世界!开局顶替流量巨星,全网火爆贬妻为妾?我二嫁权臣联手虐渣谁说华夏无神?外神亦是神!年代美人娇又媚,勾的糙汉心尖颤从不空军的钓场!钓鱼圈彻底失控了假死三年,我竟成了冰山女神的协议老公潜艇厨子:透视深海,我即是天眼至尊少年王踏出SSS女子监狱,我医武双绝娘娘又娇又媚,一路宫斗上位恶毒公主摆烂后,五个大佬追疯了穿进侯府当后妈后每天都想和离战神归来:与我为敌,统统灭族!重生1985:从收猴票开始首富之路田园乱人心重回1991乔总别傲了,易小姐改嫁生三胎了都重生了谁还白手起家,我选择当富二代重生御兽,立志躺平却被女神契约重生换娘亲,炮灰成了名门贵女锦医春色火红年代,这个小公安有情报系统快穿归来,网黑真千金杀穿娱乐圈乡下来的真千金,竟是玄学大佬替弟从军五载,归来全家夺我军功?全球高武:我背后一口棺,专业的捡尸随母改嫁旺新家,重生嫡女嘎嘎乱杀出道十年查无此人,圈内全是我前任?重回1960:渔猎白山松水我和富二代灵魂互换城市求生之牛小二的奇葩人生四合院:易中海的养老心思,被我扒个底婢女扶瑶我带小萝莉找上门,校花无痛当妈去父留子的夫君竟想我为妾看到弹幕后,我爬了皇帝的床尚书千金投井后通灵?全京城慌了神医农女:我靠种田富甲天下七零随军:穿书作精她撩又甜重生后另择良婿,王爷红眼求名分踏出女子监狱后,三千囚徒誓死追随都市:女儿重生后,我成互联网教父了重生08:从拿下极品校花开始重生70,从给妻女煮碗白粥开始仕途风云:升迁消失三年回归,九个女总裁为我杀疯了