的算法，首先计算程序在 L 下的简约，并接着检查 L 是否是这个无否定为失败的程序的回答集。一个回答集程序可以有零个、一个或多个回答集。一个程序蕴涵一个文字，如果它的所有的回答集都包含这个文字。
比较、复杂性和实现.与Prolog相反，回答集程序的语义不依赖于规则的求值和原子在每个规则中的特定次序。检查一个程序的回答集的存在性的复杂性，和检查一个程序是否蕴涵一个文字复杂性，范围是从 P 到多项式层次的第二级，依赖于一个程序可以满足也可以不满足的一组条件(就是说分层、头部