Prolog 语言入门
Prolog 是一种与众不同的语言,不用来开发软件,专门解决逻辑问题。比如,"苏格拉底是人,人都会死,所以苏格拉底会死"这一类的问题。离散数学中的谓词量词那章。Prolog 就是"逻辑编程"(programming of Logic)的意思。只要给出事实和规则,它会自动分析其中的逻辑关系,然后允许用户通过查询,完成复杂的逻辑运算。1.环境准备windows10+SWI-Prolog,傻瓜式安装即可安装之后找到bin目录下的swipl-win.exe运行2.Hello world入门.
原创
2020-06-26 15:47:08 ·
1888 阅读 ·
0 评论