A Prolog kernel for Jupyter that can use Python libraries
Project description
**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)
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
calysto_prolog-0.8.4.zip
(12.6 kB
view details)
File details
Details for the file calysto_prolog-0.8.4.zip
.
File metadata
- Download URL: calysto_prolog-0.8.4.zip
- Upload date:
- Size: 12.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | ee7bd313aaf24f91934b65da45c0aa8cfee6e842c03c9d7ed91f473fe67694e1 |
|
MD5 | 160f5bf0b6fb2163571bc40397d817b0 |
|
BLAKE2b-256 | 606fd81b08487091aa3d0a97ce04cf02c1d6f40b7d6a7df6ae40bd0e2970ed84 |