1. 官网
http://pyke.sourceforge.net/
2. 安装第三方包
pyenv global anaconda3-4.2.0
pip install HTMLTemplate
3. 源码安装pyke
3.1 下载
https://nchc.dl.sourceforge.net/project/pyke/pyke/1.1.1/pyke3-1.1.1.zip
3.2 下载后解压缩
pyenv global anaconda3-4.2.0
cd pyke3-1.1.1
python setup.py build
python setup.py install
4. pyke教程
4.1 pyke是一个类似prolog的逻辑规划库,100%纯python的。
4.2 pyke可以做前向推理forward-chaining和后向推理backward-chaining。前向推理,就是用规则rules处理facts以得出更多的额外的facts。后向推理,也叫规划,从论证目标出发构造出用户自定义的调用图call graph。可以参考http://www.open-open.com/lib/view/open1417528754230.html。
4.3 pyke推理机需要如下参数:
4.3.1 一系列的true的生命,这些声明statements在所有时刻都是true
4.3.2 你希望pyke希望询问用户的问题
4.3.3 规则:包括前向推理和后向推理
4.4如何执行:循环每一个用户案例
4.4.1 提供一组statements声明给pyke
4.4.2 选择对4.4.1使用哪一组规则
4.4.3 pyke自动对statements进行前向推理,此时,pyke会交互询问用户各种问题,以便进行推理。
4.5 statements声明
4.5.1 一个声明statement就是一个事实fact。比如,bruce是thomas和norma的儿子,就可以表示成son_of(bruce, thomas, norma)
4.5.2
http://pyke.sourceforge.net/logic_programming/statements.html
先到这里。