It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
The combination of logical programming style with functional programming style within KLND is introduced, and then the strategies for implementing such unification are presented.
介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。
The combination of logical programming style with functional programming style within KLND is introduced, and then the strategies for implementing such unification are presented.
介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。
应用推荐