Prolog是一種邏輯程式語言,它建立在數理邏輯學的理論基礎之上,最初用於自然語言等研究領域。
基本介紹
- 中文名:PROLOG程式設計語言
- 外文名:Programing in Logic
- 類型:邏輯程式語言
- 時間:1972年
- 系統:計算機
- 套用學科:計算機原理
Prolog是一種邏輯程式語言,它建立在數理邏輯學的理論基礎之上,最初用於自然語言等研究領域。
PROLOG程式設計語言Visual Prolog Visual Prolog是基於Prolog語言的可視化集成開發環境,是PDC推出的基於Windows環境的智慧型化編程工具,也是一個可以製作界面的Prolog,已經...
一種邏輯程式設計語言。1972年法國科莫勞埃小組為了提高歸結法的執行效率,研製出一個定理證明程式的程式執行器,取名為PROLOG(Programming In Logic),標誌著第一個...
Prolog(Programming in Logic的縮寫)是一種邏輯型程式設計語言。它的第一個實用解釋文本於1972年由法國馬賽大學研製成功,其理論的發明人為英國科瓦爾斯基教授。它具有...
《PROLOG語言及其套用》一書是PROLOG語言教學或自學用書。共九章,包括:PROLOG語言概述、事實和詢問、規則、表、複合條件、表處理、尾部遞歸、模組的使用、套用實例程式...
專家系統prolog程式設計是由中山大學出版社出版的書籍,作者是陳家發,在1992年出版。...
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟,何欽銘著,人工...
邏輯程式設計將邏輯直接作為程式設計語言並將計算作為受控推理的一種程式設計技術。...
程式設計語言有幾十年的發展、套用的歷史,了解其發展和分類有助於在軟體開發中選擇合適的程式設計語言。隨著程式設計語言的發展,出現了很多軟體開發工具,其充分展示...
《程式設計語言——實踐之路》是由電子工業出版社出版,作者Michael L.Scott,譯者裘宗燕。...
除了上述的過程語言外,還出現了函式程式設計語言。為了使計算技術有效地為人工智慧服務,邏輯程式設計語言也展現出了新的面貌,出現了LISP、Prolog語言,稱之為非過程化...
《程式設計語言概念》為程式設計師寫出一個好的程式提供了所需的抽象機制、組織原則以及控制結構。本書所介紹的是在程式設計語言中出現的概念,即在程式設計語言的實現...
程式設計語言用於書寫電腦程式的語言。語言的基礎是一組記號和一組規則。根據規則由記號構成的記號串的總體就是語言。在程式設計語言中,這些記號串就是程式。程式...
非過程語言是一種計算機程式設計語言,是相對於過程語言而言的,其語言的組織不是圍繞於過程的。它同過程語言的區別是非過程語言編寫的程式可以不必遵循計算機執行的實際...
人工智慧(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃...
《人工智慧(AI)程式設計(面向對象語言)》是2005年清華大學出版社出版的圖書,作者是雷英傑、邢清華、王濤。...
《程式設計語言概念(第9版)》是2011年1月清華大學出版社出版的圖書,作者是Robert W.Sebesta、譯者徐明星。...
人工智慧(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃...
Prolog程式設計不是描述計算機“如何做”,而是描述計算機要“做什麼”,至於如何做,則由Prolog語言自己完成。這說明Prolog語言在向自動求解方面邁進了一大步。Prolog的...
《程式設計語言與編譯:語言的設計和實現》為“普通高等教育‘十一五’國家級規劃教材”,是一本計算機專業的寬口徑教材,新版覆蓋CC2001和CCC2002教程中,除自動機外...
第5章極富描述能力的PASCAL語言程式設計;第6章人工智慧語言PROLOG程式設計;第7章面向對象的JAVA語言程式設計;第8章企業級客戶/伺服器資料庫開發工具PowerBuilder;第...
軟體語言(Software Language)是用於書寫計算機軟體的語言。它主要包括需求定義語言、功能性語言、設計性語言、程式設計語言以及文檔語言等。...
邏輯型程式設計[1] (logic programming)一種程式設計.是設計、編制和調試邏輯型...邏輯型程式語言是PROLOG.針對PROLOG低效的回溯型控制策略,已經提出邏輯型程式的...
第七章 可用於模糊專家系統開發的知識處理語言 7.1程式設計語言與知識處理語言 7.2邏輯程式設計語言Prolog 7.2.1Prolog語言簡介 7.2.2Prolog語言的基本語法 7....
算法是指為解決某個特定問題而採取的確定且有限的步驟。用來表達算法的計算機程式設計語言稱為算法語言(Algorithmic language)。算法語言是算法的一種描述工具,是介於...
因此,Prolog語言是一種智慧型型程式設計語言。Prolog程式沒有特定的運行順序,程式運行順序完全按照數理邏輯推導(消解法)的方式進行.而不是由編程式的人決定。Prolog是...
高級語言是一類接近於人類的自然語言和數學語言的程式設計語言的統稱。按照其程式設計的出發點和方式不同,高級語言分為了面向過程的語言和面向對象的語言,如Fortran語...
實用的人工智慧程式設計語言包括函式式語言(如Lisp),邏輯式語言(如Prolog)和知識工程語言(Ops5),其中最廣泛採用的是Lisp和Prolog及其變形。...
目前,實用的人工智慧程式設計語言包括函式式語言(如Lisp),邏輯式語言(如Prolog)和知識工程語言(Ops5),其中最廣泛採用的是Lisp和Prolog及其變形。...
通過本書的學習,讀者可以掌握人工智慧的基本原理和核心知識,以及人工智慧程式設計的常用語言PROLOG,學習用該語言進行編程,體會邏輯程式設計的思想,提高邏輯思考能力,並...