目录
墨丘利语言
Mercury語言，是一种通用的编程语言。.
第五代電腦
五代電腦（第五世代コンピュータ）是日本通商產業省（現稱經濟產業省）於1982年的一個大型研發計畫，其目的為開發一部劃時代的電腦，利用大量平行計算，使它擁有超級電腦的運算效能和可用的人工智能能力。名字中的「第五代」用於指明它將會是具劃時代意義的電腦。.
约束编程
约束编程(Constraint programming)是一种編程典範，在这种编程范式中，变量之间的‘关系’是以约束的形式陈述（组织）的。这些‘关系（约束）’和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是規範其解的一些属性。这样看来，约束编程是一种声明式的编程范式。 Category:限制滿足 Category:編程典範.
查看 第五代程式語言和约束编程
编程范型
编--程范型、编--程范式或程式--設計法（Programming paradigm），（範即模範、典範之意，範式即模式、方法），是一类典型的编程风格，是指从事软件工程的一类典型的风格（可以对照方法学）。如：函數式編程、程序編程、面向对象编程、指令式编程等等為不同的编程范型。 编程范型提供了（同时决定了）程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，而在函数式编程中一个程序会被看作是一个无状态的函数计算的序列。 正如软件工程中不同的群体会提倡不同的「方法学」一样，不同的编程语言也会提倡不同的「编程范型」。一些语言是专门为某个特定的范型设计的（如Smalltalk和Java支持面向对象编程，而Haskell和Scheme则支持函数式编程），同时还有另一些语言支持多种范型（如Ruby、Common Lisp、Python和Oz）。 很多编程范型已经被熟知他们禁止使用哪些技术，同时允许使用哪些。例如，纯粹的函数式编程不允许有副作用；结构化编程不允许使用goto。可能是因为这个原因，新的范型常常被那些习惯于较早的风格的人认为是教条主义或过分严格。然而，这样避免某些技术反而更加证明了关于程序正确性——或仅仅是理解它的行为——的法则，而不用限制程序语言的一般性。 编程范型和编程语言之间的关系可能十分复杂，由于一个编程语言可以支持多种范型。例如，C++设计时，支持过程化编程、面向对象编程以及泛型编程。然而，设计师和程序员们要考虑如何使用这些范型元素来构建一个程序。一个人可以用C++写出一个完全过程化的程序，另一个人也可以用C++写出一个纯粹的面向对象程序，甚至还有人可以写出杂揉了两种范型的程序。.
查看 第五代程式語言和编程范型
解决问题
解决问题，是一种兼具创造性、操作性的思维方式和智力活动。对问题的发现和澄清，经常是解决问题的第一步。許多在人工智慧、工程、數學、醫學中發展及應用的解决问题技巧也和心理學中研究的心理问题解决技术有關。.
查看 第五代程式語言和解决问题
LISP
LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.
查看 第五代程式語言和LISP
Lisp机器
Lisp机器（Lisp machines）是被设计来高效运行以Lisp语言为主要软件开发语言的通用型计算机（通常通过硬件支持）。在某种意识上，它们是第一个商业的单用户工作站。尽管在数量上表现不如意（在1988年大概只有7000套），Lisp机器在商业上开创了许多现行的技术，包括高效的内存垃圾收集，激光打印，窗口化系统，计算机鼠标，高分辨率的位图，计算机图像解析和网络革新（像CHAOSN）。在上世纪八十年代，几家公司正建造和销售Lisp机器：Symbolics(3600,3640,XL1200,Maclvory和其他模型），Lisp Machines Incorpaorated（LMI Lambda），Texas Instruments（Explorer和MicroExplorer）和Xerox（InterLisp-D workstations）。这些操作系统都是用Lisp Machine Lisp,InterLisp(Xerox)和稍后出现的Common Lisp写的。.
Prolog
Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。.