Logic Programming Definition

noun

Programming with a paradigm that bases on formal logic.

Wiktionary
Synonyms:
  • logic programing
  • prolog