一个可以使用Python库的Juyter的Prolog内核
calysto_prolog的Python项目详细描述
**calysto-prolog**
因为**calysto-prolog**使用[metakernel](https://github.com/calysto/metakernel/blob/master/readme.rst),所以它有一组完全受支持的“magics”--用于附加功能的元命令。请参阅所有[metakernel magics](https://github.com/calysto/metakernel/blob/master/metakernel/magics/readme.md)。
calysto-prolog
```
然后,您需要安装kernelspec:
````
python3-m calysto-prolog install
`````
或笔记本电脑:
`````
jupyter控制台--内核calysto prolog
jupyter qtconsole--内核calysto prolog
jupyter笔记本--内核calysto prolog
``````
`` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `我是说,父母子女(汤姆,埃里卡)。
父亲子女(迈克,汤姆,迈克,汤姆)。
兄弟姐妹(x,y):-父母子女(z,x,x),父母子女(z,y)。
<父母子女(x,y):-父亲子女(x,y)。
父母子女(x,y):-母亲子女(x,y)。
`````
例如查询
``
子项(名称)?
兄弟姐妹(萨利、艾丽卡)?
父子(父子)?
```
因为**calysto-prolog**使用[metakernel](https://github.com/calysto/metakernel/blob/master/readme.rst),所以它有一组完全受支持的“magics”--用于附加功能的元命令。请参阅所有[metakernel magics](https://github.com/calysto/metakernel/blob/master/metakernel/magics/readme.md)。
calysto-prolog
```
然后,您需要安装kernelspec:
````
python3-m calysto-prolog install
`````
或笔记本电脑:
`````
jupyter控制台--内核calysto prolog
jupyter qtconsole--内核calysto prolog
jupyter笔记本--内核calysto prolog
``````
`` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `我是说,父母子女(汤姆,埃里卡)。
父亲子女(迈克,汤姆,迈克,汤姆)。
兄弟姐妹(x,y):-父母子女(z,x,x),父母子女(z,y)。
<父母子女(x,y):-父亲子女(x,y)。
父母子女(x,y):-母亲子女(x,y)。
`````
例如查询
``
子项(名称)?
兄弟姐妹(萨利、艾丽卡)?
父子(父子)?
```