中英▼
go top

extended unification algorithm

  • 扩展的合一算法：指一种在逻辑编程中用于解决变量统一的算法，它扩展了传统的合一算法，允许更多的变量约束和更复杂的匹配规则。

网络释义

  扩展的合一算法

... complete unification algorithm 完全一致算法 extended unification algorithm 扩展的合一算法 the algorithm 算法 ...

基于1个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定