第四章 Visual Prolog概述_第1页
第四章 Visual Prolog概述_第2页
第四章 Visual Prolog概述_第3页
第四章 Visual Prolog概述_第4页
第四章 Visual Prolog概述_第5页
已阅读5页，还剩3页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

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

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

3、由最新的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各物件

人人文库> 全部分类> 行业资料 > 管理策划

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论