軟件介紹

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

Visual Prolog特色介紹

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

代數數據類型

獨特的對像體系

多線程(僅商業版支持)

參數多態性

支持Unicode

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

...等等。

Visual Prolog功能介紹

語言特征

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

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

完全面向對象

對象謂詞值(代理)

強類型

代數數據類型

模式匹配與統一

受控的不確定性

完全集成的事實數據庫

支持參數多態

自動內存管理

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

支持直接調用Win32 API函數

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

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

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

代數數據類型，事實數據庫和模式匹配與非確定性搜索相結合，使Visual Prolog非常適合處理復雜的結構化知識。

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

集成開發環境(IDE)

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

在開發大型項目中，它可能特別有用。

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

在文本編輯器支持方便的文本編輯和瀏覽時的聲明和實現。

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

在菜單編輯器允許同時創建下拉和彈出菜單。

該工具欄編輯器允許創建各種工具欄。

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

在構建基金支持必需的包插入，包括指令。

該瀏覽設施支持搜索特定的實體，“轉到定義”和“去宣言”

編譯器

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

創建用于創建獨立可執行文件或DLL的目標文件；

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

驗證謂詞模式；

執行強大的類型檢查；

驗證構造函數中的事實初始化；

執行謂詞解析。

連接器

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

創建EXE和DLL文件；

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

調試器

Visual Prolog開發環境包含一個內置的圖形調試器，該調試器可以：

顯示通常的調試器視圖：內存，堆棧，變量；

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

跨步，跨步等；

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

可視化失敗并退出。

Visual Prolog中包含的示例

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

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