Prolog 

Prolog
编程范型逻辑式
設計者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 RulesClojureDatalogErlangKL0英语KL0KL1英语KL1MercuryOzStrand英语Strand (programming language)Visual PrologXSB英语XSB

PrologProgramming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统自然语言理解、智能知识库等。[1][2][3][4][5]

  1. ^ Clocksin, William F.; Mellish, Christopher S. Programming in Prolog. Berlin; New York: Springer-Verlag. 2003. ISBN 978-3-540-00678-7. 
  2. ^ Bratko, Ivan. Prolog programming for artificial intelligence 4th. Harlow, England; New York: Addison Wesley. 2012. ISBN 978-0-321-41746-6. 
  3. ^ Covington, Michael A. Natural language processing for Prolog programmers. Englewood Cliffs, N.J.: Prentice Hall. 1994. ISBN 978-0-13-629213-5. 
  4. ^ 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. 
  5. ^ Merritt, Dennis. Building expert systems in Prolog需要免费注册. Berlin: Springer-Verlag. 1989. ISBN 978-0-387-97016-5. 



取材自維基百科 - 中文時事百科