良基语义

来自术语
跳转至: 导航搜索

    Van Gelder于1991年提出的定义如何通过推导规则集合导出结论的一种逻辑程序语义。

英文名 well-founded semantics



链接

Wikipedia https://en.wikipedia.org/wiki/well-founded_semantics