logic programming
noun
the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments
Words nearby logic programming
logic bomb,
logic cell,
logic circuit,
logic gate,
logic level,
logic programming,
logical,
logical atomism,
logical consequence,
logical constant,
logical construction