第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。
因為普通編程語言從來不用邏輯設定編寫源代碼。
改裝之後，再重新對趙良澤給她的源代碼進行查驗。
這一次顧念之沒有睡覺了，她一直坐在電腦前，眼睛都不眨地看著自己的程序運行查找。
不得不說，趙良澤給她的監控軟體的源代碼確實太厲害了。
幸虧她在霍紹恆官邸的這台電腦功能更加強大，才能進行這樣高負荷的運算和檢測。
儘管如此，也花了她幾乎十二個小時，才完成整個檢測。
她的中飯和晚飯都是在卧室吃的。