Skip to main content

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)

Project details


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)

Uploaded Source

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

Hashes for calysto_prolog-0.8.4.zip
Algorithm Hash digest
SHA256 ee7bd313aaf24f91934b65da45c0aa8cfee6e842c03c9d7ed91f473fe67694e1
MD5 160f5bf0b6fb2163571bc40397d817b0
BLAKE2b-256 606fd81b08487091aa3d0a97ce04cf02c1d6f40b7d6a7df6ae40bd0e2970ed84

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page