logic programming

A programming paradigm that uses Boolean logic to control how facts and rules about the problems within the system are represented or expressed.