key words logic programming, stable class, argumentation system, abductive reasoning, declarative semantics, proof procedure

• 关键词关键词逻辑程序设计,稳定类,辩论系统,溯因推理,程序说明语义,证明过程