logic programming

English

Noun

logic programming (uncountable)

  1. (programming) Programming with a paradigm that bases on formal logic.
    Synonyms: logical programming, logic-based programming
    Hypernyms: computer programming, programming
    Hyponyms: abductive logic programming, constraint logic programming, functional logic programming, inductive logic programming

Translations

References