Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。
高濟,何欽銘著,人工智慧基礎 (第二版),高等教育出版社,2008.10,第67頁
基本介紹
- 中文名:邏輯程式語言
- 外文名:Programming in logic
- 簡稱:Prolog
- 定義:面向演繹推理的邏輯型語言
- 提出時間:1972年
- 提出者:柯爾麥倫納及其研究小組
- 套用學科:計算機原理
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。
高濟,何欽銘著,人工智慧基礎 (第二版),高等教育出版社,2008.10,第67頁
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟,何欽銘著,人工...
邏輯編程是種編程典範,它設定答案須符合的規則來解決問題,而非設定步驟來解決問題。過程是事實+規則=結果。...
邏輯錯誤是指程式中發生導致程式偏離編程本意的錯誤。 ...... 邏輯錯誤是指程式中發生導致程式偏離編程本意的錯誤。V百科往期回顧 詞條統計 瀏覽次數:次 編輯次數:...
邏輯程式設計將邏輯直接作為程式設計語言並將計算作為受控推理的一種程式設計技術。...
&來源於拉丁語et (意為and)的連寫,是一個邏輯語言,是指邏輯上表示兩者屬於缺一不可的關係,還表示意思是一個人和另外一個人之意,與and同義。如A&B,表示A與...
程式語言理論(PLT)是計算機科學的一個分支,涉及程式語言及其各自特徵的設計,實現,分析,表征和分類。 它屬於計算機科學學科,既依賴於並影響數學,軟體工程,語言學甚至...
程式語言(programming language),是用來定義電腦程式的形式語言。它是一種被標準化的交流技巧,用來向計算機發出指令。一種計算機語言讓程式設計師能夠準確地定義計算機所...
在計算機科學中,聲明式編程是一種編程範式,即構建電腦程式的結構和元素的一種風格,它表達了計算的邏輯而沒有描述其控制流程。許多套用這種風格的語言試圖通過描述...
KM全名是知識機器(Knowledge Machine),KM有一階邏輯的語意,也有包括依描述選擇、合一、分類、理解等機械推理,KM源自Theo語言及KRL 程式語言(KRL (programming ...
程式語言(Programming Language)大致可以分為五個世代。第一代語言:機器語言第二代語言:彙編語言第三代語言:高階語言,例如C第四代語言:極高階語言,例如SQL第五代...
《程式語言原理》是2013年清華大學出版社出版的書籍,作者是塞巴斯塔。該書內容豐富,講解透徹,既可用做高等院校計算機及相關專業本科生程式設計語言課程的教材和參考書,...
Mercury ,是一種新的邏輯/功能的程式語言,它結合了清晰的表現力和聲明性編程與先進的靜態分析和錯誤檢測功能。...
人工智慧程式語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、...
*Prolog(Programming in Logic的縮寫) 是一種邏輯程式語言*Python是一種面向對象的解釋性的電腦程式設計語言,也是一種功能強大而完善的通用型語言...
霍爾邏輯為簡單的命令式程式語言的所有構造提供了公理和推理規則。除了給Hoare論文中的簡單語言的規則,其他語言構造的規則也已經被Hoare和很多其他研究者開發完成。包括...
任何機載計算機系統軟體的基本性能都包括計算機系統輸入語言——軟體程式語言。對於不同類型的機載數字計算機,由於其內部(機器)語言具有一定的相似性,廣泛使用計算機...
首先提出的,1972年,他們提出“邏輯可當做程式設計語言來使用”.柯娃爾斯基提出“算法一邏輯+控制”.這裡的邏輯是指對所解問題的描述,即程式的說明性語義;而控制則...
owl(網路本體語言),程式語言,全稱Web Ontology Language,是W3C開發的一種網路本體語言,用於對本體進行語義描述。...
可編程邏輯控制器是種專門為在工業環境下套用而設計的數字運算操作電子系統。它採用一種可編程的存儲器,在其內部存儲執行邏輯運算、順序控制、定時、計數和算術運算...
在計算機程式語言中“!”表示非,即邏輯關係中的否定含義。非運算符的優先權別遠高於賦值運算符優先權別 。...
本書是學習計算機程式語言的預備課程教科書。本書使用簡明易懂的語言和豐富的示例講解並圖示設計結構化程式所需的工具和算法邏輯方面的基本知識。設計工具包括結構化...
Java是一門面向對象程式語言,不僅吸收了C++語言的各種優點,還摒棄了C++里難以理解的多繼承、指針等概念,因此Java語言具有功能強大和簡單易用兩個特徵。Java語言作為...
結構式檔案程式語言(英語:Structured text)也稱為ST語言,是為可編程邏輯控制器(PLC)設計的程式語言,是相關的IEC 61131-3標準中支援幾種語言之一。...
ML (programming language)是一個通用的函式式程式語言,它是由愛丁堡大學的Robin Milner及他人在二十世紀七十年代晚期開發的。它的語法是從ISWIM得到的靈感。作為元...
偽代碼(pseudocode),又稱為虛擬代碼,是高層次描述算法的一種方法。使用偽代碼的目的是讓被描述的算法可以容易地以任何一種程式語言(Pascal,C,Java,etc)實現。...