Concept
Computer Science
Programming paradigm
Declarative programming
Logic programming
Mentioned by:
Prolog

Logic programming

A declarative programming paradigm based on formal logic.

External Resources