If you're new to Jupyter notebooks, start by opening and playing with the
JupyterKernelForLogtalkOverview.ipynb
notebook. If you're new to Logtalk,
start with the LogtalkTutorial.ipynb
notebook.
Don't restrict yourself to the provided notebooks. Create your own. Binder allows you to save and share the notebooks you create.
- Repo: https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel
- Package: https://pypi.org/project/logtalk-jupyter-kernel/
Online at https://mybinder.org you can currently use:
- ECLiPSe 7.1#13
- GNU Prolog 1.6.0 (git version)
- SWI-Prolog 9.3.3 (default)
- Trealla Prolog 2.49.1
Local installation of the kernel supports several other Prolog backends. See the kernel repo for details. Limitations in the Docker images used by Binder currently prevent installing other Prolog backends supported by the kernel.
- Add a code cell at the top of a notebook.
- Type
eclipse
to switch to ECLiPSe,gnu.
to switch to GNU Prolog,swi.
to switch to SWI-Prolog (but this is the default backend), ortrealla.
to switch to Trealla Prolog. - Select the cell and execute it (by typing, by default, Shift-Enter).
Contributions are most welcome. Open issues or create merge requests in the https://github.com/LogtalkDotOrg/notebooks repo.
You can also create, play, and share Prolog notebooks using your own URL. Taking into account that the Binder support files are work-in-progress:
- Create a git repo for your notebooks.
- Visit the https://github.com/LogtalkDotOrg/notebooks repo and copy the
contents of the
binder
directory to your own repo. - Add a
README.md
file and your notebooks. - Visit https://mybinder.org and follow the instructions there.