Dictionary.com

Popular Searches

 Thesaurus.com
Showing results for logic programming.

logic programming

British  

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

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

We were both interested in language when we met: digital communication systems, logic, programming.

From New York Times

Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023

Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.