Dictionary.com
definitions
  • synonyms
British Dictionary definitions for logic programming

logic programming

noun
  1. the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments
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