The backtracking mechanism is an important facility for programming in logic.
回溯机制是逻辑程序设计的重要设施。
So, where does the business logic belong in the AIR programming model?
那么，AIR编程模型的业务逻辑在哪呢？
Write an application in a logic programming language.
用逻辑编程语言写一个应用。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
应用推荐