Skip to main content
This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (
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](, it has a fully-supported set of "magics"---meta-commands for additional functionality. See all of the [MetaKernel Magics](

## 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
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
sibling(sally, erica)?
father_child(Father, Child)?

## Requires

* Jupyter
* Python2 or Python3
* metakernel (installed automatically)
Release History

Release History

This version
History Node


History Node


History Node


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 (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