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