回溯机制是逻辑程序设计的重要设施。
The backtracking mechanism is an important facility for logic programming.
回溯机制是逻辑程序设计的重要设施。
The backtracking mechanism is an important facility for programming in logic.
针对其逻辑程序设计，概述了数种软件设计方法。
To counter the logic program design of PC, this paper expounds some software design methods.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
应用推荐