**Calysto Prolog**
Because **Calysto Prolog** uses [MetaKernel](https://github.com/Calysto/metakernel/blob/master/README.rst), it has a fully-supported set of "magics"---meta-commands for additional functionality. See all of the [MetaKernel Magics](https://github.com/Calysto/metakernel/blob/master/metakernel/magics/README.md).
## Installation
You can install Calysto Prolog in two steps:
```
pip3 install --upgrade calysto_prolog
```
OR in the system kernel folder with:
```
sudo pip3 install --upgrade calysto_prolog
```
Then, you need to install the kernelspec:
```
python3 -m calysto_prolog install
```
Add `--user` to the above commands to put in your private environment.
## Use
Use Calysto Prolog in the console, qtconsole, or notebook:
```
jupyter console --kernel calysto_prolog
jupyter qtconsole --kernel calysto_prolog
jupyter notebook --kernel calysto_prolog
```
### Example Facts
```
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).
```
### Example Queries
```
child(NAME)?
sibling(sally, erica)?
father_child(Father, Child)?
```
## Requires
* Jupyter
* Python2 or Python3
* metakernel (installed automatically)
Because **Calysto Prolog** uses [MetaKernel](https://github.com/Calysto/metakernel/blob/master/README.rst), it has a fully-supported set of "magics"---meta-commands for additional functionality. See all of the [MetaKernel Magics](https://github.com/Calysto/metakernel/blob/master/metakernel/magics/README.md).
## Installation
You can install Calysto Prolog in two steps:
```
pip3 install --upgrade calysto_prolog
```
OR in the system kernel folder with:
```
sudo pip3 install --upgrade calysto_prolog
```
Then, you need to install the kernelspec:
```
python3 -m calysto_prolog install
```
Add `--user` to the above commands to put in your private environment.
## Use
Use Calysto Prolog in the console, qtconsole, or notebook:
```
jupyter console --kernel calysto_prolog
jupyter qtconsole --kernel calysto_prolog
jupyter notebook --kernel calysto_prolog
```
### Example Facts
```
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).
```
### Example Queries
```
child(NAME)?
sibling(sally, erica)?
father_child(Father, Child)?
```
## Requires
* Jupyter
* Python2 or Python3
* metakernel (installed automatically)
Metadata
Release files for calysto_prolog 0.8.4
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| calysto_prolog-0.8.4.zip | 12.6 kB | Details |
Release files / calysto_prolog-0.8.4.zip
| Download URL | calysto_prolog-0.8.4.zip |
|---|---|
| Size | 12.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
ee7bd313aaf24f91934b65da45c0aa8cfee6e842c03c9d7ed91f473fe67694e1
|
|
BLAKE2b-256 checksum How to use checksums |
606fd81b08487091aa3d0a97ce04cf02c1d6f40b7d6a7df6ae40bd0e2970ed84
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |