Prolog
维基百科,自由的 encyclopedia
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。[1][2][3][4][5]
Quick Facts 编程范型, 设计者 ...
编程范型 | 逻辑式 |
---|---|
设计者 | Alain Colmerauer(英语:Alain Colmerauer),罗伯特·科瓦尔斯基 |
发行时间 | 1972年 |
文件扩展名 | .pl , .pro , .P |
主要实现产品 | |
B-Prolog(英语:B-Prolog), Ciao语言(英语:Ciao (programming language)), ECLiPSe(英语:ECLiPSe), GNU Prolog(英语:GNU Prolog), Poplog(英语:Poplog) Prolog, P#, Quintus Prolog, SICStus(英语:SICStus), Strawberry(英语:Strawberry Prolog), SWI-Prolog(英语:SWI-Prolog), Tau Prolog, tuProlog(英语:tuProlog), WIN-PROLOG(英语:Logic Programming Associates), XSB(英语:XSB), YAP(英语:YAP (Prolog)) | |
派生副语言 | |
ISO Prolog, Edinburgh Prolog | |
启发语言 | |
PLANNER(英语:PLANNER) | |
影响语言 | |
CHR(英语:Constraint Handling Rules)、Clojure、Datalog、Erlang、KL0(英语:KL0)、KL1(英语:KL1)、Mercury、Oz、Strand(英语:Strand (programming language))、Visual Prolog、XSB(英语:XSB) | |
Close