正规逻辑程序(Normal Logic Program, NLP)通过它允 许否定即失败算子出现在程序规则的体中以扩充单调的逻辑 程序,它的描述性语义应归于 1988...
基于1个网页-相关网页
normal logic program
正常逻辑程序
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动