第四章 Visual Prolog概述

1、第四章 Visual Prolog概述資管三甲 1094410055 鄭業(yè)定Visual Prolog 6 概述 Visual Prolog 6是最新一代的Visual Prolog邏輯程序設(shè)計語言，是PDC、Turbo Prolog的後繼產(chǎn)品。 新增的功能有：一個獨特的導(dǎo)向系統(tǒng)多線程機制Unicode支持改進的支持改進的函數(shù)支持改進的異常處理 Visual Prolog是一個完備的程序設(shè)計環(huán)境，擁有的設(shè)施如下：（）圖形開發(fā)環(huán)境（）編譯器（）鏈結(jié)器（）調(diào)試器開發(fā)環(huán)境已經(jīng)得到極大改善，從而使編寫程序更簡單，對進階任務(wù)可提供更好的幫助，它支持先進的客戶服務(wù)器和多級解決方案。使用這個，人們就能在Wi

2、ndows平臺建立企業(yè)級的應(yīng)用程序，且特別適用於處理複雜的知識問題，成功案例：醫(yī)院預(yù)約登記、機場決策支持、航班決策支持等等。Visual Prolog 6基本特性（一）語言特性：基於Horn子句的邏輯程序設(shè)計語言完全物件導(dǎo)向?qū)蛑^詞值（委派）強類型代數(shù)數(shù)據(jù)類型模式匹配與合一受控的不確定性機制完全集成的事實數(shù)據(jù)庫自動的內(nèi)存管理支持與的直接鏈結(jié)支持對Win32 API函數(shù)的直接訪問Visual Prolog 6基本特性圖形化開發(fā)環(huán)境：Visual Prolog集成開發(fā)環(huán)境可以更方便快捷地建立、測試和修改Visual Prolog應(yīng)用程序，它在開發(fā)大型項目時非常有用。鏈結(jié)器：產(chǎn)生可執(zhí)行文件和文件使用

3、由最新的Microsoft Visual C編譯器產(chǎn)生的文件Visual Prolog 6基本特性編譯器： Visual Prolog編譯器是Turbo Prolog的後繼產(chǎn)品,Turbo Prolog是第一個Prolog編譯器，其功能有：（）為產(chǎn)生可單獨執(zhí)行的程序或而創(chuàng)建的目標(biāo)文件（）解決聲明間的交叉作用（）驗證謂詞模式（）執(zhí)行強類型檢查（）在構(gòu)造器中驗證事實初始化（）進行謂詞分解Visual Prolog 6基本特性調(diào)試器： Visual Prolog集成開發(fā)環(huán)境包含一個內(nèi)建圖形化調(diào)試器。（）顯示常見的調(diào)試器視圖，如內(nèi)存、變量。（）顯示類和導(dǎo)向事實的值（）進行單步跟進(trace into)、單步越進(step over)等。（）包括額外的調(diào)試步驟：單步跳出、運行到Prolog代碼等。（）Fail和Exit可視化等。結(jié)論 第四章幾乎都在說Visual Prolog各物件