logic programming

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

Turkish: mantık programlama/mantıksal programlama

References

• logic programming on Wikipedia.Wikipedia