接下来介绍第四种编程范式--逻辑式编程。它是一种基于逻辑推理的编程范式，其中程序员描述问题的逻辑关系，而不是指定计算的详细步骤。Prolog是逻辑式编程的典型代表。以下是逻辑式编程的一些优缺点。