包含ASP非單調推理的各種求解器（注意，不是網頁制作的ASP！） clasp claspD clingo iclingo dlv gringo lparse smodels 以及幾個程序范例