calysto_prolog 0.8.4

**Calysto Prolog**

由于**Calysto Prolog**使用[MetaKernel](https://github.com/Calysto/metakernel/blob/master/README.rst)，它有一个完全支持的“魔法”集合---为附加功能提供的元命令。请参阅所有[MetaKernel Magics](https://github.com/Calysto/metakernel/blob/master/metakernel/magics/README.md)。

## 安装

您可以通过以下两个步骤安装Calysto Prolog

```
pip3 install --upgrade calysto_prolog
```

或者，在系统内核文件夹中

```
sudo pip3 install --upgrade calysto_prolog
```

然后，您需要安装kernelspec

```
python3 -m calysto_prolog install
```

向上述命令添加`--user`以将其放入您的私有环境中。

## 使用

您可以在控制台、qtconsole或notebook中使用Calysto Prolog

```
jupyter console --kernel calysto_prolog
jupyter qtconsole --kernel calysto_prolog
jupyter notebook --kernel calysto_prolog
```

### 示例事实
```
child(stephanie).
child(thad).
mother_child(trude, sally).

father_child(tom, sally).
father_child(tom, erica).
father_child(mike, tom).

sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y).

parent_child(X, Y) :- father_child(X, Y).
parent_child(X, Y) :- mother_child(X, Y).
```

### 示例查询
```
child(NAME)?
sibling(sally, erica)?
father_child(Father, Child)?
```

## 需要

* Jupyter
* Python2或Python3
* metakernel（自动安装）