算法=逻辑+控制: 在逻辑式编程中，程序员只需表达逻辑，而控制交给编程语言的解释器或编译器去管理