logic programming

noun

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

Discover More

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.

Browse