标签：这使得逻辑编程语言不适合解决需要实时响应的问题

逻辑编程求解器算法的计算时间可能会很高，这使得逻辑编程语言不适合解决需要实时响应的问题，原因逻辑编程求解器使用一种称为反向推理的方法，这种方法涉及...