軟件介紹

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

Visual Prolog特色介紹

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

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

獨特的對像體系

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

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

支持Unicode

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

...等等。

Visual Prolog功能介紹

語言特征

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

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

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

對象謂詞值(代理)

強類型

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

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

受控的不確定性

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

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

自動內(nèi)存管理

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

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

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

強類型檢查，無需指針算術(shù)和自動內(nèi)存管理的組合實際上消除了訪問沖突。

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

代數(shù)數(shù)據(jù)類型，事實數(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àn)。

該對話框編輯器提供了標準的控制，以設(shè)計對話框。

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

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

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

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

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

編譯器

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

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

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

驗證謂詞模式；

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

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

執(zhí)行謂詞解析。

連接器

Visual Prolog包含一個強大的鏈接器，該鏈接器可以：

創(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)存，堆棧，變量；

顯示類別和對象事實及其值；

跨步，跨步等；

包括額外的步驟：退出，運行序言代碼；

可視化失敗并退出。

Visual Prolog中包含的示例

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

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