Docker image with Logtalk, Prolog systems, and Jupyter available

[pmoura]

Hi,

Published a Docker image with Logtalk, Prolog systems, and Jupyter:

https://hub.docker.com/r/logtalk/logtalk3-portable/tags

Includes:

• Logtalk 3.81.0

• B-Prolog 8.1

• Ciao Prolog 1.23.0-m1

• CxProlog 0.98.3

• ECLiPSe 7.1#13

• GNU Prolog latest git master version

• SWI-Prolog latest git master version

• Trealla Prolog latest git main version

• XSB latest git git-origin version

• YAP latest git master version

• Dependencies for the Logtalk developer tools

• Latest Jupyter version

See the README.md file for usage details.

Enjoy!
Paulo