Prolog编程范型 | 逻辑式 |
---|
設計者 | Alain Colmerauer,罗伯特·科瓦尔斯基 |
---|
发行时间 | 1972年 |
---|
文件扩展名 | .pl , .pro , .P |
---|
主要實作產品 |
---|
B-Prolog, Ciao语言, ECLiPSe, GNU Prolog, Poplog Prolog, P#, Quintus Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOG, XSB, YAP |
衍生副語言 |
---|
ISO Prolog, Edinburgh Prolog |
啟發語言 |
---|
PLANNER |
影響語言 |
---|
CHR、Clojure、Datalog、Erlang、KL0、KL1、Mercury、Oz、Strand、Visual Prolog、XSB |
|
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。[1][2][3][4][5]
- ^ Clocksin, William F.; Mellish, Christopher S. Programming in Prolog. Berlin; New York: Springer-Verlag. 2003. ISBN 978-3-540-00678-7.
- ^ Bratko, Ivan. Prolog programming for artificial intelligence 4th. Harlow, England; New York: Addison Wesley. 2012. ISBN 978-0-321-41746-6.
- ^ Covington, Michael A. Natural language processing for Prolog programmers. Englewood Cliffs, N.J.: Prentice Hall. 1994. ISBN 978-0-13-629213-5.
- ^ Stickel, M. E. A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 1988, 4 (4): 353–380. CiteSeerX 10.1.1.47.3057 . S2CID 14621218. doi:10.1007/BF00297245.
- ^ Merritt, Dennis. Building expert systems in Prolog. Berlin: Springer-Verlag. 1989. ISBN 978-0-387-97016-5.