logic programming
التعريفات والمعاني
== English ==
=== Noun ===
logic programming (uncountable)
(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 ====
=== References ===
logic programming on Wikipedia.Wikipedia