logic programming

English

Noun

logic programming (uncountable)

1. (programming) 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 terms

• logical language

Translations

programming paradigm

• Finnish: logiikkapohjainen ohjelmointi
• German: logische Programmierung f
• (deprecated template usage) {{trans-mid}}
• Turkish: mantık programlama/mantıksal programlama

References

• logic programming on Wikipedia.Wikipedia