逻辑编程

逻辑编程是种编程范型，它设置答案须匹配的规则来解决问题，而非设置步骤来解决问题。过程是 事实+规则=结果。 不同的方法，可以看Inductive logic programming。 逻辑编程的要点是将正规的逻辑风格带入计算机程序设计之中。数学家和哲学家发现逻辑是有效的理论分析工具。