KnowraLogic programmingLinked fromLinked fromThe 11 pages that link to Logic programming, each with the reason it gives.All 11Broader topic 2Related 5Compared with 4Sequent calculusRelated: The operational reading of certain sequent rules informs logic-programming languages.Symbolic artificial intelligenceRelated: It turns symbolic knowledge and inference into executable programs.LogicRelated: It uses logical relations as executable descriptions of problems.Symbolic logicRelated: It turns symbolic relations and inference into executable computation.Monotonicity of entailmentRelated: Positive logic programs provide a practical setting where consequence grows monotonically with available facts.