logic programming

noun

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