包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！）
clasp
claspD
clingo
iclingo
dlv
gringo
lparse
smodels
以及几个程序范例
2019-12-21 19:51:00
2.07MB
1