Visual Prolog個人版 v9.0.6 中文版

軟件介紹

Visual Prolog是一款可視化Prolo語言開發(fā)環(huán)境，它集成了完整的編程環(huán)境，包括IDE、編譯器和調(diào)試器等等，可以幫助用戶設(shè)計(jì)各種人工智能程序。Visual Prolog擁有強(qiáng)大的對象系統(tǒng)，能夠顯著縮減開發(fā)時間和維護(hù)成本，有需要的用戶敬請下載。

Visual Prolog特色介紹

邏輯編程概念(回溯，模式匹配)

代數(shù)數(shù)據(jù)類型

獨(dú)特的對像體系

多線程(僅商業(yè)版支持)

參數(shù)多態(tài)性

支持Unicode

自動內(nèi)存管理(垃圾收集)

...等等。

Visual Prolog功能介紹

語言特征

Visual Prolog編程語言的主要特征/概念是：

基于帶有Horn子句的邏輯編程

完全面向?qū)ο?/p>

對象謂詞值(代理)

強(qiáng)類型

代數(shù)數(shù)據(jù)類型

模式匹配與統(tǒng)一

受控的不確定性

完全集成的事實(shí)數(shù)據(jù)庫

支持參數(shù)多態(tài)

自動內(nèi)存管理

支持與C / C ++的直接鏈接

支持直接調(diào)用Win32 API函數(shù)

對象系統(tǒng)被構(gòu)造用于提供者和用戶之間的松散耦合。對象只能通過接口訪問，并且接口僅與實(shí)現(xiàn)松散耦合。任何類都可以在繼承或不繼承其他類的實(shí)現(xiàn)的情況下實(shí)現(xiàn)任何接口。

強(qiáng)類型檢查，無需指針?biāo)阈g(shù)和自動內(nèi)存管理的組合實(shí)際上消除了訪問沖突。

Visual Prolog在不產(chǎn)生訪問沖突方面享有盛譽(yù)。正如我們的一位好用戶曾經(jīng)說過的那樣：在Visual Prolog中，這種錯誤不是唯一的選擇。我們打算保持這種方式，Visual Prolog 7系列也不例外。我們的目標(biāo)是您必須與外來代碼接口或堅(jiān)持使用指針?biāo)惴▉硪l(fā)訪問沖突。

代數(shù)數(shù)據(jù)類型，事實(shí)數(shù)據(jù)庫和模式匹配與非確定性搜索相結(jié)合，使Visual Prolog非常適合處理復(fù)雜的結(jié)構(gòu)化知識。

除謂詞值和對象外，所有Visual Prolog數(shù)據(jù)均具有人類可讀的文本表示形式，可以將其寫入和讀回程序。

集成開發(fā)環(huán)境(IDE)

Visual Prolog集成開發(fā)環(huán)境(IDE)旨在使開發(fā)，測試和修改以Visual Prolog編寫的應(yīng)用程序變得容易，便捷和快速。

在開發(fā)大型項(xiàng)目中，它可能特別有用。

“項(xiàng)目”窗口中的模塊，包含文件和資源的樹表示形式有助于將項(xiàng)目項(xiàng)分組到包中，從而提供了更高的抽象級別。

在文本編輯器支持方便的文本編輯和瀏覽時的聲明和實(shí)現(xiàn)。

該對話框編輯器提供了標(biāo)準(zhǔn)的控制，以設(shè)計(jì)對話框。

在菜單編輯器允許同時創(chuàng)建下拉和彈出菜單。

該工具欄編輯器允許創(chuàng)建各種工具欄。

該圖形編輯器是一個用于創(chuàng)建，查看和編輯圖標(biāo)，光標(biāo)和位圖小一個方便的工具。

在構(gòu)建基金支持必需的包插入，包括指令。

該瀏覽設(shè)施支持搜索特定的實(shí)體，“轉(zhuǎn)到定義”和“去宣言”

編譯器

Visual Prolog編譯器是1980年代創(chuàng)建的Turbo Prolog編譯器的后繼產(chǎn)品，后者是第一個Prolog編譯器。從那時起，Prolog開發(fā)中心一直在開發(fā)和改進(jìn)其編譯器。當(dāng)前，Visual Prolog編譯器是一種功能強(qiáng)大且高效的編譯器，可以：

創(chuàng)建用于創(chuàng)建獨(dú)立可執(zhí)行文件或DLL的目標(biāo)文件；

解決聲明之間的交叉引用；

驗(yàn)證謂詞模式；

執(zhí)行強(qiáng)大的類型檢查；

驗(yàn)證構(gòu)造函數(shù)中的事實(shí)初始化；

執(zhí)行謂詞解析。

連接器

Visual Prolog包含一個強(qiáng)大的鏈接器，該鏈接器可以：

創(chuàng)建EXE和DLL文件；

使用由最新的Microsoft Visual C編譯器生成的LIB文件。

調(diào)試器

Visual Prolog開發(fā)環(huán)境包含一個內(nèi)置的圖形調(diào)試器，該調(diào)試器可以：

顯示通常的調(diào)試器視圖：內(nèi)存，堆棧，變量；

顯示類別和對象事實(shí)及其值；

跨步，跨步等；

包括額外的步驟：退出，運(yùn)行序言代碼；

可視化失敗并退出。

Visual Prolog中包含的示例

Visual Prolog個人版和商業(yè)版均包含許多示例項(xiàng)目，這些示例項(xiàng)目演示了各種Visual Prolog功能。

這些示例包括與在線教程相對應(yīng)的 示例，這些示例位于examples目錄的 _tutorials子目錄中。