Logic programming

Programming in which a program is a set of facts and rules from which a solver derives answers.

Scheme

Broader terms