logical programming

• 逻辑程序设计

logical programming的用法和样例：

例句

1. The backtracking mechanism is an important facility for programming in logic.
   回溯机制是逻辑程序设计的重要设施。