比浏览器更快的访问！
17 关系: 墨丘利语言，字符串，对象 (计算机科学)，专家系统，人工智能，快速排序，函数式语言，回溯法，罗素悖论，Datalog，Erlang，邏輯編程，自然语言，逻辑，LISP，Oz (编程语言)，Visual Prolog。
墨丘利语言
Mercury語言，是一种通用的编程语言。.
新！!: Prolog和墨丘利语言 · 查看更多 »
字符串
字符串（String），是由零个或多个字符组成的有限序列。一般记为s.
新！!: Prolog和字符串 · 查看更多 »
对象 (计算机科学)
在計算機科學中，对象（object），--，是一個記憶體位址，其中擁有值，這個位址可能有標識符指向此處。物件可以是一個變數，一個資料結構，或是一個函式。是面向对象（Object Oriented）中的术语，既表示客观世界问题空间（Namespace）中的某个具体的事物，又表示软件系统解空间中的基本元素。 在软件系统中，对象具有唯一的标识符，对象包括属性（Properties）和方法（Methods），属性就是需要记忆的信息，方法就是对象能够提供的服务。在面向对象（Object Oriented）的软件中，对象（Object）是某一个类（Class）的实例（Instance）。 http://www.iicm.org.tw/term/ https://web.archive.org/web/20110410015410/http://ccts.cs.cuhk.edu.hk/ Category:面向对象的程序设计.
新！!: Prolog和对象 (计算机科学) · 查看更多 »
专家系统
专家系统是早期人工智能的一个重要分支，它可以看作是一类具有专门知识和经验的计算机智能程序系统，一般采用人工智能中的知识表示和知识推理技术来模拟通常由领域专家才能解决的复杂问题。 一般来说，专家系统.
新！!: Prolog和专家系统 · 查看更多 »
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
新！!: Prolog和人工智能 · 查看更多 »
快速排序
快速排序（Quicksort），又稱劃分交換排序（partition-exchange sort），簡稱快排，一種排序算法，最早由東尼·霍爾提出。在平均狀況下，排序 n 個項目要 \ O (n\log n) （大O符号）次比較。在最壞狀況下則需要 O (n^2) 次比較，但這種狀況並不常見。事實上，快速排序 \Theta(n\log n) 通常明顯比其他演算法更快，因為它的內部循环（inner loop）可以在大部分的架構上很有效率地達成。.
新！!: Prolog和快速排序 · 查看更多 »
函数式语言
#重定向 函數程式語言.
新！!: Prolog和函数式语言 · 查看更多 »
回溯法
回溯法（backtracking）是暴力搜尋法中的一种。 对于某些计算问题而言，回溯法是一种可以找出所有（或一部分）解的一般性算法，尤其适用于约束满足问题（在解决约束满足问题时，我们逐步构造更多的候选解，并且在确定某一部分候选解不可能补全成正确解之后放弃继续搜索这个部分候选解本身及其可以拓展出的子候选解，转而测试其他的部分候选解）。 在经典的教科书中，八皇后问题展示了回溯法的用例。（八皇后问题是在标准国际象棋棋盘中寻找八个皇后的所有分布，使得没有一个皇后能攻击到另外一个。） 回溯法采用试错的思想，它尝试分步的去解决一个问题。在分步解决问题的过程中，当它通过尝试发现现有的分步答案不能得到有效的正确的解答的时候，它将取消上一步甚至是上几步的计算，再通过其它的可能的分步解答再次尝试寻找问题的答案。回溯法通常用最简单的递归方法来实现，在反复重复上述的步骤后可能出现两种情况：.
新！!: Prolog和回溯法 · 查看更多 »
罗素悖论
罗素悖论（Russell's paradox），也称为理发师悖论，是英國哲學家罗素於1901年提出的悖论，一个关于类的内涵问题。罗素悖论当时的提出，造成了第三次数学危机。.
新！!: Prolog和罗素悖论 · 查看更多 »
Datalog
Datalog是一种数据查询语言，专门设计与大型关系数据库交互，语法与Prolog相似。正如SQL只是一个规范，Transact-SQL、PL-SQL是其具体实现一样；Datalog也是一个规范，bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言，所以Datalog没有特定的执行环境（如Java之于Java虚拟机，Prolog之于SWI-Prolog）。.
新！!: Prolog和Datalog · 查看更多 »
Erlang
Erlang（）是一種通用的----，它由喬·阿姆斯特朗（Joe Armstrong）在瑞典電信設備製造商愛立信所轄的電腦科學研究室開發，目的是創造一種可以應付大規模開發活動的--和執行環境。Erlang於1987年釋出正式版本，最早是愛立信擁有的私有軟體，經過十年的發展，於1998年發表開放源碼版本。 Erlang是運作於虛擬機的--，但是現在也包含有烏普薩拉大學高性能Erlang計劃（HiPE）開發的原生程式碼編譯器，自R11B-4版本開始，Erlang也支持--。在編程範型上，Erlang屬於多重典範程式語言，涵蓋函數式、--及--。循序執行的Erlang是一个及早求值, 單次賦值和--的函數式程式語言。.
新！!: Prolog和Erlang · 查看更多 »
邏輯編程
邏輯編程（逻辑程--序设计）是種編程典範，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 不同的方法，可以看Inductive logic programming。 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析工具。很多問題可以自然地表示成一個理論。說需要解答一個問題，通常與解答一個新的假設是否跟現在的理論無衝突等價。邏輯提供了一個證明問題是真還是假的方法。建立證明的方法是人所皆知的，故邏輯是解答問題的可靠方法。邏輯編程系統則自動化了這個程序。人工智能在邏輯編程的發展中發揮了重要的影響。 猴子和香蕉問題是邏輯編程社群的著名問題。電腦須自行找出令猴子接觸香蕉的可行方法，取代程式設計師指定猴子接觸香蕉的路徑和方法。 邏輯編程建立了描述一個問題裏的世界的邏輯模型。邏輯編程的目標是對它的模型建立新的陳述。世界上知識不斷澎漲。傳統來說，我們會將一個問題陳述成單一的假設。邏輯編程的程式透過證明這個假設在模型裏是否為真來解決問題。 一些經常用到邏輯編程工具的範疇：.
新！!: Prolog和邏輯編程 · 查看更多 »
自然语言
自然语言（Natural language）通常是指一种自然地随文化演化的语言。英语、汉语、法語、西班牙語、日语为自然语言的例子，而世界语则为人工语言，即是一种由人特意为某些特定目的而创造的语言。 不过，有时所有人类使用的语言（包括上述自然地随文化演化的语言，以及人工语言）都会被视为“自然”语言，以相对于如编程语言等为计算机而设的“人造”语言。这一种用法可见于自然语言处理一词中。自然语言是人类交流和思维的主要工具。.
新！!: Prolog和自然语言 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
LISP
LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.
新！!: Prolog和LISP · 查看更多 »
Oz (编程语言)
Oz是一门多范式编程语言语言，由 Université catholique de Louvain的编程系统实验室开发，主要用于计算机编程语言的教学。它还提供一本相关的语言教材《Concepts, Techniques, and Models of Computer Programming》。 Mozart Programming System是 Oz 语言的主要实现，由Mozart Consortium作为开源软件发布。目前Mozart已经被移植到了不同的操作平台，包括Unix, FreeBSD, Linux, Microsoft Windows, 和 Mac OS X。Mozart-Oz项目本身包括运行虚拟机MVM等，请见于以及.
新！!: Prolog和Oz (编程语言) · 查看更多 »
Visual Prolog
Turbo Prolog 是一個以Prolog(即：Programming in Logic) 語言的軟體，該系統只適用於MS-DOS, 亦可以使用Windows內的Console介面來編輯使用。.
新！!: Prolog和Visual Prolog · 查看更多 »
