Skip to main content
This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (pypi.python.org).
Help us improve Python packaging - Donate today!

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)
Release History

Release History

This version
History Node

0.8.4

History Node

0.8.3

History Node

0.8.2

Download Files

Download Files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

File Name & Checksum SHA256 Checksum Help Version File Type Upload Date
calysto_prolog-0.8.4.zip (12.6 kB) Copy SHA256 Checksum SHA256 Source May 24, 2017

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Rackspace Rackspace Cloud Servers DreamHost DreamHost Log Hosting