逻辑式编程

逻辑式编程语言，如Prolog，不同于传统的命令式编程语言（如C、Java）或函数式编程语言（如Lisp、Haskell）。它们专注于描述问题的逻辑和关系，而不是具体的操作步骤。这种编程范式特别适合处理复杂的逻辑推理任务。