logic programming

Programming with a paradigm that bases on formal logic

Noun

  1. Programming with a paradigm that bases on formal logic

Hypernyms

computer programming programming

Hyponyms

abductive logic programming constraint logic programming functional logic programming inductive logic programming

Related

logical language

From Wiktionary's contributor community, shared under CC BY-SA 4.0.