- predicate programming
- мат. предикатное программирование
Большой англо-русский и русско-английский словарь. 2001.
predicate programming
Смотреть что такое "predicate programming" в других словарях:
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Constructor (object-oriented programming) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Neuro-linguistic programming and science — NLP TOPICS … Wikipedia
List of studies on Neuro-linguistic programming — (NLP) summarizes the many studies that have been performed relevant to NLP, since the early 1980s. These tend to be of three types: studies, metastudies, and research in related fields (notably cognitive science and neuroscience). A fourth kind… … Wikipedia
Answer set programming — (ASP) is a form of declarative programming oriented towards difficult (primarily NP hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models … Wikipedia
Gödel (programming language) — Gödel is a declarative, general purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many sorted logic with parametric polymorphism. It is named after… … Wikipedia
Abductive logic programming — is a high level knowledge representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal Logic Programming by allowing some predicates to be incompletely defined, declared as abducible… … Wikipedia
Opaque predicate — In computer programming, an opaque predicate is a predicate an expression that evaluates to either true or false for which the outcome is known by the programmer a priori, but which, for a variety of reasons, still needs to be evaluated at run… … Wikipedia
