logic programming

noun

the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments

Nearby words

  1. logic bomb,
  2. logic cell,
  3. logic circuit,
  4. logic gate,
  5. logic level,
  6. logical,
  7. logical atomism,
  8. logical consequence,
  9. logical constant,
  10. logical construction

Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012