logic programming

noun

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

Example Sentences

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

From New York Times

Music, mathematical logic, programming, speculations on the nature of intelligence, biology, and Zen are woven into a brilliant tapestry themed on the concept of encoded self-reference.

From Project Gutenberg

Music, mathematical logic, programming, speculations on the nature of intelligence, biology, and Zen are woven into a brilliant tapestry themed on the concept of encoded self-reference.

From Project Gutenberg

Music, mathematical logic, programming, speculations on the nature of intelligence, biology, and Zen are woven into a brilliant tapestry themed on the concept of encoded self-reference.

From Project Gutenberg