邏輯程式設計語言（logic programming language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：邏輯程式設計語言
- 外文名：logic programming language
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一種基於謂詞邏輯的程式設計語言。
出處
《計算機科學技術名詞 》第三版
邏輯程式設計語言
相關詞條
- 邏輯程式設計語言
邏輯程式設計語言 邏輯程式設計語言（logic programming language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 一種基於謂詞邏輯的程式設計語言。出處 《計算機科學技術名詞 》第三版 ...
- 邏輯程式語言
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言，最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟，何欽銘著,人工智慧基礎 （第二版）,高等教育出版社,2008.10,第67頁 關於邏輯編程...
- 程式設計語言
程式設計語言是用於書寫電腦程式的語言。語言的基礎是一組記號和一組規則。根據規則由記號構成的記號串的總體就是語言。在程式設計語言中，這些記號串就是程式。程式設計語言有3個方面的因素，即語法、語義和語用。語法表示程式的結構或...
- 邏輯程式設計
自動化證明定理，程式產生一些新定理來擴充現有的理論。最常用的邏輯程式語言是Prolog，另外有較適用於大型方案的Mercury。詳盡的清單可見於Category：邏輯程式語言。沿革 1972年法國科莫勞埃小組實現了第一個邏輯程式設計語言PROLOG。1974年...
- 邏輯編程
隨後，邏輯程式設計得到了迅速發展，特別是基於一階謂詞的邏輯程式設計語言，將邏輯推理對應於計算，具有豐富的表達能力、非確定性等特點，在定理機器證明、關係資料庫系統、程式驗證、模組化程式設計和非單調推理等都有了廣泛的套用。邏輯...
- 程式設計語言原理/面向21世紀課程教材
4.8 類型的參數化 4.9 多型的參數化 第五章 控制成分 …… 第六章 抽象和程式結構 第七章 並發 第八章 預定義成分和語境 第九章 邏輯式程式設計語言 第十章 函式程式設計語言 第十一章 對象式程式設計語言 參考文獻 ...
- PROLOG程式設計語言
因此，Prolog語言是一種智慧型型程式設計語言。Prolog程式沒有特定的運行順序，程式運行順序完全按照數理邏輯推導(消解法)的方式進行，而不是由編程式的人決定。Prolog是一種描述型語言，用特定的方法描述一個問題，然後由計算機自動找到這個...
- c語言程式設計(計算機程式設計語言)
C語言是一種計算機程式設計語言。它既有高級語言的特點，又具有彙編語言的特點。它可以作為系統設計語言，編寫工作系統應用程式，也可以作為套用程式設計語言，編寫不依賴計算機硬體的應用程式。簡介 隨著科技的發展和人工智慧時代的來臨，...
- 程式設計語言-C
《程式設計語言-C》是2007年清華大學出版社出版的圖書，作者是張志航、王珊珊。內容提要 本書力求概念嚴謹，同時做到深入淺出、通俗易懂。通過大量的例題和習題以幫助程式設計初學者掌握必需的基本語法和常用算法。本書適於作為高等學校...
- 彙編語言(面向機器的程式設計語言)
彙編語言不像其他大多數的程式設計語言一樣被廣泛用於程式設計。在今天的實際套用中，它通常被套用在底層，硬體操作和高要求的程式最佳化的場合。驅動程式、嵌入式作業系統和實時運行程式都需要彙編語言。發展歷程 程式語言 自從1946年世界上第...
- 程式設計
1，使用順序、選擇、循環等有限的基本結構表示程式邏輯。2，選用的控制結構只準許有一個入口和一個出口 3，程式語句組成容易識別的塊，每塊只有一個入口和一個出口。4，複雜結構應該用基本控制結構進行組合或嵌套來實現。5，程式設計語言...
- 程式設計語言套用
因此，程式設計不僅要求精通語言，更要求對套用本身有所了解，掌握計算機中對常用套用問題進行處理的一些基本方法及其按控制邏輯進行組合的思維方法。從本質上看，程式設計的學習不僅是技術的學習，更是思維的培養。程式設計語言的套用領域 匯...
- True(程式語言/邏輯真)
函式/邏輯程式設計語言RFUNLOG. 《 vip 》 , 1991 高偉. 邏輯程式設計語言Gdel的說明性語義. 《 廈門大學 》 , 年 吳陳. 並行邏輯程式設計語言PALOG及其效率的初步估計. 《 江蘇科技大學學報(自然科學版) 》 , 1991 查看...
- 程式設計語言的形式語義
書中為初學程式設計語言語義與邏輯的讀者提供了必需的數學知識，介紹了支撐程式設計語言形式語義的數學理論、方法和概念。本書內容十分豐富，涉及了集合論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息系統、不確定性和並行...
- 人工智慧設計語言
人工智慧(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的計算機程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。
- ada(計算機程式設計語言)
Ada是一種結構化程式設計語言，在標準句語的構成上可掌控流程，支援所有標準化構造及深層早退指令。程式包、過程和函式可以嵌套在任意深度並各自可作邏輯上的覆蓋，亦可各自為其常數、類型、變數等等作任何順序的定義聲明。關鍵字 Ada為...
- 邏輯語
邏輯語通過嚴格的語法避免出現後一種歧義。由於其文法可以使用電腦程式如YACC進行檢查，因此它的無歧義性就如計算機程式設計語言一樣有保證。對於前一種，則通過良好、無歧義的詞語定義來避免。對於語義層次，邏輯語允許在必要的時候以任意...
- JAVA程式設計語言
《JAVA程式設計語言》 是清華大學出版社出版的圖書， ISBN是9787302025375 內容介紹 內容簡介 Java語言是一種當今正在全世界得到迅速傳播與廣泛套用的面向對象的計算機程式設計語言。本書共分三篇17章。基礎篇介紹了Java作為一種程式設計語言...
- Python(計算機程式語言)
就這樣，Python在Guido手中誕生了。可以說，Python是從ABC發展起來，主要受到了Modula-3（另一種相當優美且強大的語言，為小型團體所設計的）的影響。並且結合了Unix shell和C的習慣。Python已經成為最受歡迎的程式設計語言之一。自從2004...
- C#程式設計語言(第4版)
《C#程式設計語言(第4版)》是2011年8月1日機械工業出版社出版的圖書,作者是海傑爾斯伯格。本書結合了快速套用開發語言的高效和JC/C++語言的強大。C#4.0是對C#3.0的進一步完善和擴展,它在C#3.0的基礎上引入了以動態語言為主的新特色...
- 編程
但它有不可替代的特性，比如一些單片機或者一些直接控制硬體的程式就一定要用彙編語言 高級語言 高級語言是一類接近於人類的自然語言和數學語言的程式設計語言的統稱。按照其程式設計的出發點和方式不同，高級語言分為了面向過程的語言和面向...
