logic programming(redirected from Logical programming)
Also found in: Thesaurus, Encyclopedia.
Related to Logical programming: Prolog
(Computer Science) the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments
Switch to new thesaurus
|Noun||1.||logic programming - a computer language designed in Europe to support natural language processing|
|2.||logic programming - creating a program that enables the computer to reason logically|