2) answer statement
应答语句
4) return statement
返回语句
5) revert statement
回复语句
6) answer set semantics
回答集语义
1.
Based on the fixed-point theorem,a new method to treat the priori order was proposed in order to unify and extend the different answer set semantics resulted from different ways of dealing with the prior order in logic programs with a rule order.
为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用。
2.
Logic programs based on answer set semantics are used in planning , diagnosis and action reasoning widely.
本文主要研究有序逻辑程序的回答集语义。
补充资料：转子语句和返回语句
主程序调用子程序以及从子程序返回主程序的语句。调用子程序的语句为转子语句，从子程序返回调用程序的语句为返回语句。在basic语言中，每次调用子程序时，必须成对使用，缺一个就会产生语法错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条