This website works better with JavaScript
首页
发现
帮助
登录
CNI
/
Prlog
关注
2
点赞
0
派生
0
文件
工单管理
0
合并请求
0
Wiki
分支:
tp/basics/1
分支列表
标签列表
master
tp/basics/1
Prlog
/
README.md
README.md
106 B
永久链接
文件历史
原始文件
Logical programming
Repository related to LPROG Centrale Nantes subject
You need
clingo
and
clasp