Linked from

The 11 pages that link to Logic programming, each with the reason it gives.

• Functional programmingCompared with: It specifies relations and lets an inference engine derive results, unlike function-driven evaluation.

• Rule-based systemCompared with: It uses declarative rules as programs rather than separating rules from an application’s control structure.

• Procedural programmingCompared with: It derives results from rules rather than arranging computation primarily as procedure calls.

• Imperative programmingCompared with: It replaces explicit command sequences with declarative relations and inference.