邏輯編程（逻辑程序设计）是種編程范式，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 算法=邏輯+控制。 不同的方法，可以看英語：Inductive logic programming。 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯...

邏輯控制器这一称呼，并在术语中仍沿用PLC这一缩写。 在可程式邏輯控制器出现之前，一般要使用成百上千的继电器以及計數器才能组成具有相同功能的自动化系统，而现在，经过编程的简单的可程式邏輯控制器模块基本上已经代替了这些大型装置。可程式邏輯...

現場可程式化邏輯閘陣列（英語：field-programmable gate array，簡稱FPGA），它以PAL、GAL、CPLD等可编程逻辑器件為技術基礎發展而成。作為特定應用積體電路（ASIC）中的一种半定制电路，它既彌補全定制電路不足，又克服原有可编程逻辑控制器邏輯閘數有限的缺點。...

宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 常見的宣告式語言包括：資料庫查詢語言如SQL的查询子集和XQuery（英语：XQuery），正则表达...

计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括： 以在计算机科学中的应用为导向的逻辑学研究。例如：组合子逻辑和抽象释义； 以逻辑形式自然表达的计算机科学基本概念。例如：编程语言的形式语义，霍尔逻辑和逻辑编程； 计算理论的关注形式逻辑的基本问题的方面。例如：Curry-Howard对应和博弈语义；...

中文名：逻辑与，合取，交集，按位与，逻辑乘，与门，... 命题逻辑中的二元连接词合取，是一个两元算子，集合论中的交集算子，二进制中的逻辑乘算子，按位与（Bitwise AND），逻辑门中的“与”门（AND gate），编程语言中的&或and运算符等等。 逻辑与（logical conjunction）是两个逻辑...

逻辑编程（英语：Inductive logic programming） ，使用逻辑式编程语言比如Prolog，和其他逻辑式表述比如描述逻辑。尽管它们已经很突出了，但其他编程语言范式也有使用，比如约束编程或概率编程 。 自动编程 遗传编程 归纳推理 归纳逻辑编程 机器学习 程序合成...

多范型编程语言（英語：Multi-paradigm programming language），是一種可以支持超過一種編程范型的程式語言。「Multi-paradigm」这个词是由丹麥計算機科學家比雅尼·斯特劳斯特鲁普（Bjarne Stroustrup）博士在其著作中提出的，用于表述C++可以同时...

=（等於）、>（大於）、<（小於）、>=（大於或者等於）... 等算子，其實這些算子都可以靠 < 就可以砌出來： 假設現在的編程語言 能夠理解到什麼是 <（小於；lessThan）與 not（邏輯非）， 知道 if... then... 這樣的條件陳述式，以及 能處理布林（真和假）的輸入輸出； >=（大於或者等於）可以定義為：...

結構式文件編程語言（英語：Structured text）也稱為ST語言，是為可程式邏輯控制器（PLC）設計的程式語言，是相關的IEC 61131-3標準中支援幾種語言之一。結構式文件編程語言是支援塊狀結構（block structured）的高階語言，以Pascal為基礎，語法也類似Pascal。所有IEC...

回答集编程是语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。 回答集编程由规则的集合构成，每个规则由一个头部和一个后部构成: h e a d...

在数字逻辑中，逻辑算符互斥或（英語：Exclusive or）是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。 对于命题 p , q {\displaystyle p,q} ， p {\displaystyle p} 异或 q {\displaystyle...

邏輯益智遊戲（logic puzzle）是利用演绎推理進行的智力遊戲，給予一些條件，配合演绎推理找到答案。 邏輯益智遊戲最早是由查爾斯·路特維奇·道奇森製作，他的筆名是路易斯·卡羅，是《愛麗絲夢遊仙境》的作者。查爾斯·路特維奇·道奇森在《邏輯遊戲》（The Game of...

逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元逻辑运算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。 逻辑或是两个逻辑变量的一种运算，经常是两个命题的运算。它满足...

函数式逻辑编程，是在一个单一的编程语言中，组合函数式编程和逻辑编程两种编程范式。这种编程风格已经体现在多种编程语言中，包括Curry、Mercury和Oz等。 麻省理工学院出版社和欧洲编程语言及系统协会在1995年至2008年出版了致力于集成函数式和逻辑编程的科学期刊。 Antoy, Sergio,...

可程式化邏輯陣列（英語：Programmable Logic Array，縮寫：PLA）是一種可以實作組合邏輯電路的可程式化邏輯裝置。PLA有一組可編程的AND閘，其連接到一組可編程的OR閘，如此可以達到：「只在合乎設定條件時才允許產生邏輯訊號輸出。」PLA有2^N個AND閘來輸入N個變數，並且需要...

表示假，任何非零值表示真。使用關係運算子創建的表達式，形成所謂的關係表達式或條件。 關係運算子可以被視為謂詞邏輯的特殊情況。 許多編程語言的構造和資料型別中都使用到相等性，用於測試元素是否已存在於集合中，或者藉由鍵來存取值。它在切換（switch）語句，以及編程的邏輯併聯過程中，用於將控制流調度到正確的分支。相等性的可能含義之一是“如果...

还可以应用叫做hedges的更贴近自然语言其他的运算符。一般性的副词如"非常"或"有点"能使用数学公式修改集合的内涵。 在應用中，編程語言ProLog由於有架設被演繹邏輯問訊的"規則"的數據庫設施而很適合實現模糊邏輯。這種編程叫做邏輯編程。 如果一个人的高度是1.8米，把他考虑为高: IF male IS true AND height...

，Java等语言的特性。他包含绝大多数的主要编程范型，包括逻辑，函数式（包括惰性求值和及早求值）、指令式编程、 面向对象、约束编程、分布式以及并发计算等。Oz 的正式语法简单（详见下文提到的书中第 13 章）而实现高效[來源請求]. Oz是一个面向并行编程的语言, 这个名词最开始是由 Erlang language的主要设计者...

，他使用一阶句法合一作为基本构建块他对一阶逻辑的归结过程的研究是自动推理技术的一大进步，因为它消除了组合爆炸（英语：Combinatorial explosion）的一个来源：搜索项目实例。如今，自动推理仍然是合一的主要应用领域。语法一阶合一用于逻辑编程和编程语言类型系统实现，特别是基于 Hindley-Milner...

Mercury），巴西歌手和音樂製作人。 鳳凰城水星（Phoenix Mercury），美國WNBA球隊之一。 克里特島戰役中的水銀行動。 SPICA的官方FAN CLUB名稱。 Mercury (程式語言)，一種函數式邏輯編程語言。 水銀 (遊戲)（Archer Maclean's Mercury），2005年遊戲。...

Prolog编程中的cut操作，用!表示，该操作总能够成功，但是不能够回溯位于该操作左边的子句。Cut操作被广泛的用于减掉不希望回溯的分支，例如，避免找到程序不需要的额外的答案和避免额外的计算。 应当保守的应用cut操作，当程序不正确会有一种诱惑来插入cut来检验cut能否让程序正确。如果一个测试是...

Curry，是一種實驗式的函數程式語言，基於Haskell而實作，混合了函數與邏輯編程，也加入約束編程的特性。它的名稱取自數學家哈斯凱爾·加里，在許多層面，它可以被視為是Haskell的超集合。 Current release:PAKCS Version 3.6.0 (10/11/23). 2023年11月10日...

通过學習製作Scratch，启发和激勵用戶在愉快的環境下經由操作（如設計互動故事、多人遊戲）去學習程式設計、數學和計算知識，同時获得創造性的思考、邏輯編程和協同工作的体验。 Scratch測試由麻省理工媒體實驗室終身幼儿园組於2006年發布。 Scratch適用於全年齡層用戶。即便用户从未學过程式設...

for Computing Machinery，简称ACM）所設計的，再電腦科學中一個基本的主題列表包括： 數理邏輯 - 布林邏輯以及其他邏輯查詢的方法；正統的證明方法的使用及限制。 數論 - 在整數的簡單領域中找出證明及啟發的理論，像在人工智慧的測試領域中使用密碼學一樣。 圖論...

编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式程式設計，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為語法（英语：Syntax (programming languages)）及語義。語法是說明編程...

逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。 最早研究人工智能逻辑的是约翰·麦卡锡（John...

Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。 Prolog语言的理论基础建立于爱丁堡大学的罗伯特·科瓦尔斯基对霍恩子句（Horn...

逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑的演算属于理想的程序语言。 与之相应的，计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了反哺，比如说自动定理证明、计算机辅助证明、计算群论和逻辑编程的应用。 逻辑史 某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑...

下，这个全称量化也暗含了这个语义。但是，满足性定义假定了自由变量要被存在量化，所以这种量词省略被接受为约定而不是如何处理自由变量的语义的结论。 在逻辑编程中，子句通常被写为从体部到头部的蕴涵。在最简单的情况下，体部是文字的合取而头部是一个单一的文字。更一般的，头部必须是文字的析取。如果 b 1 , …...

C语言（英語：C Language）是一种通用的、过程式编程程式語言，支持结构化编程、词法作用域和递归，使用静态类型系统，并且广泛用于系统软件与应用软件的开发。 C语言于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。...