Linked from

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

• Sequent calculusRelated: The operational reading of certain sequent rules informs logic-programming languages.

• Symbolic artificial intelligenceRelated: It turns symbolic knowledge and inference into executable programs.

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

• LogicRelated: It uses logical relations as executable descriptions of problems.

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

• Declarative programmingBroader topic: It is a distinctive declarative approach in which inference engines search for solutions.

• 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.

• Symbolic logicRelated: It turns symbolic relations and inference into executable computation.

• Programming paradigmBroader topic: It expresses programs as relations and inference rather than command sequences.

• Monotonicity of entailmentRelated: Positive logic programs provide a practical setting where consequence grows monotonically with available facts.