第四章 Visual Prolog概述

第四章 Visual Prolog概述資管三甲 1094410055 鄭業定Visual Prolog 6 概述Visual Prolog 6是最新一代的Visual Prolog邏輯程序設計語言，是PDC、Turbo Prolog的後繼產品。新增的功能有：一個獨特的導向系統多線程機制Unicode支持改進的支持改進的函數支持改進的異常處理Visual Prolog是一個完備的程序設計環境，擁有的設施如下：（）圖形開發環境（）編譯器（）鏈結器（）調試器開發環境已經得到極大改善，從而使編寫程序更簡單，對進階任務可提供更好的幫助，它支持先進的客戶服務器和多級解決方案。使用這個，人們就能在Windows平台建立企業級的應用程序，且特別適用於處理複雜的知識問題，成功案例：醫院預約登記、機場決策支持、航班決策支持等等。Visual Prolog 6基本特性（一）語言特性：基於Horn子句的邏輯程序設計語言完全物件導向導向謂詞值（委派）強類型代數數據類型模式匹配與合一受控的不確定性機制完全集成的事實數據庫自動的內存管理支持與的直接鏈結支持對Win32 API函數的直接訪問Visual Prolog 6基本特性圖形化開發環境：Visual Prolog集成開發環境可以更方便快捷地建立、測試和修改Visual Prolog應用程序，它在開發大型項目時非常有用。鏈結器：產生可執行文件和文件使用由最新的Microsoft Visual C編譯器產生的文件Visual Prolog 6基本特性編譯器：Visual Prolog編譯器是Turbo Prolog的後繼產品,Turbo Prolog是第一個Prolog編譯器，其功能有：（）為產生可單獨執行的程序或而創建的目標文件（）解決聲明間的交叉作用（）驗證謂詞模式（）執行強類型檢查（）在構造器中驗證事實初始化（）進行謂詞分解Visual Prolog 6基本特性調試器：Visual Prolog集成開發環境包含一個內建圖形化調試器。（）顯示常見的調試器視圖，如內存、變量。（）顯示類和導向事實的值（）進行單步跟進(trace into)、單步越進(step over)等。（）包括額外的調試步驟：單步跳出、運行到Prolog代碼等。（）Fail和Exit可視化等。結論第四章幾乎都在說Visual Prolog各物件的意義和操作方法，不知道這個簡報要寫什麼上來，只好把概述和一些特性寫上來，但那些東西大半看不懂是什麼，。