文件名称：clingo-lessons:慢慢学习clingo，并编写笔记本以指导您完成逻辑程序（开发中）
文件大小：5KB
文件格式：ZIP
更新时间：2024-04-18 17:58:11
JupyterNotebook
Clingo码头工人 您是否有兴趣学习答案集编程（ASP）？ 我也是，但是我通过与代码和大多数学习材料进行交互来学习得最好： 该存储库提供了一个Docker容器，该容器将使用和clingo构建一个容器，然后使用笔记本来学习clingo。 如果您有想要贡献的笔记本示例，请不要犹豫，直接讨论贡献，或将我指向来源，以便添加它。 入门 如果您尚未安装Docker 。 然后构建容器： $ docker build -t clingo-lessons . 然后，您需要运行容器，将端口8888绑定到主机，以便可以看到jupyter。 $ docker run --rm --name clingo-lessons -p 8888:8888 -v $PWD /:/home/jovyan/work clingo-lessons 那时，打开浏览器到以查看带有笔记本的文件夹。 您可以打开任何笔记本来进行交
【文件预览】：
clingo-lessons-main
----Dockerfile(403B)
----basic()
--------basic-01-am-i-a-dinosaur.ipynb(13KB)
----README.md(2KB)