Qu'est ce qu'un prédicat?

Être un amateur de coder, je suis en manque certaines connaissances fondamentales. Pour les deux derniers jours, j'ai lu certaines choses, et le mot "prédicat" ne cesse de réapparaître. Je serais très reconnaissant une explication sur le sujet.

Voici mon article sur ce qui n'est pas un prédicat: blogs.msdn.com/ericlippert/archive/2008/08/19/... Profitez-en!
Les prédicats sont utilisés en tant que tels, beaucoup plus dans la Base de données Relationnelle de l'arène, que dans les langages de programmation.
L'exemple utilisé dans la définition de dictionary.cambridge.org/us/dictionary/english/predicated est "de La prévision des ventes est fondée sur l'hypothèse que l'économie va croître de quatre pour cent." En termes de programmation, cela peut être représenté par un pseudo-code if (economy grows by 4%) then "sales forecast is valid" else "sales forecast is not valid". Le "prédicat" voici le test de la "croissance économique de 4%", ce qui serait susceptible d'être mis en œuvre comme une fonction qui renvoie vrai ou faux. Simplifié, un prédicat est l'état dans une instruction "if" (parfois avec des effets secondaires).

InformationsquelleAutor Maciek | 2009-08-27

language-agnostic

46

La définition d'un prédicat, qui peuvent être trouvés en ligne dans diverses sources telles que les ici, est:

Une expression logique qui prend la valeur VRAI ou FAUX, normalement pour diriger le chemin d'exécution dans le code.

Référencement: Logiciel De Test. Par Mathew Hayden
- Cette réponse n'est que partiellement vrai. Un prédicat est plus précis que cela. Cette définition de c'est comme de dire la définition de "bibliophile" est quelqu'un qui lit des livres. Lorsque le terme bibliophile fournit beaucoup plus de détails que ça.
- pouvez-vous élaborer sur ce que c'est concrètement?
- Intéressant de noter - la clé de cette réponse, c'est le terme "expression"
- À votre karma, vous êtes libre de modifier ma réponse d'il y a six ans.
- Je vais faire un edit, mais pas tout à fait sûr de savoir comment l'exprimer. Google livre de référence dans la réponse ne fonctionne plus.
InformationsquelleAutor aehlke
34

Un énoncé qui est vrai ou faux. Dans la programmation, il est généralement une fonction qui retourne un booléen pour une entrée.

Plus souvent (je suppose) utilisé dans le contexte de la fonction d'ordre supérieur. E. g. filter est une fonction dans de nombreuses langues, qui prend en prédicat et un liste comme arguments, et renvoie les éléments de la liste pour laquelle le prédicat est vrai.

Exemple en javascript:
```
lessThanTen = function(x) { return x < 10; }
[1,7,15,22].filter(lessThanTen) --> [1,7]
```
la fonction lessThanTen est le prédicat ici, qui est appliqué à chaque élément de la liste. Bien sûr, une expression booléenne peut être utilisé comme prédicat en place d'une fonction, d'e.g filter(true) sera de retour la liste complète, filter(false) une liste vide.
- donc, fondamentalement, c'est une expression logique (booléenne)?
- ouais, mais depuis le prédicat peut compter sur les variables, il est probablement plus naturel de penser que c'est une fonction.
InformationsquelleAutor JacquesB
17

Un prédicat n'est pas simplement une expression qui est évaluée à vrai ou faux, il n'y a plus que ça. Le terme de "prédicat" est utilisé pour désigner une expression qui détermine si quelque chose est vrai ou faux. Ou en d'autres termes, il fait une affirmation et renvoie true ou false selon que.

Par exemple (en C#):
```
/*this is a predicate, as it's sole purpose is to make some 
 assertion about something.*/
bool IsNameBob(string name)
{
   return name == "Bob";
}

/*Whereas this is not a predicate, as it's performing an action
 then evaluating to true if it succeeds. */
bool DoSomethingCool() {
   try 
   {
       ImDoingSomethingCool();
   }
   catch
   {
      return false;
   }
   return true;
}
```
Je comprends ce que j'ai mis ici est purement une différence de sémantique, mais c'est ce que cette question a été sur le droit? La sémantique?
- +1... Tout cela est facile en C++. Un prédicat est une fonction dont les paramètres sont tous soit en valeur ou en const références, et dont le type de retour est un bool.
- Ma réponse déjà couvert cette nuance en utilisant le mot "expression". Aussi, une définition de la méthode n'est pas un prédicat - il n'est même pas une expression. Votre réponse est plutôt confuse et trompeuse.
- Je suis désolé, j'ai confondu vous.
InformationsquelleAutor Ben Lesh
4

Dans la non programmation de termes; une question. Généralement une question d'ordre général avec les détenteurs de place (comme il et eux) qui peut être demandé à beaucoup de choses.
- Est il rouge?
- Est il un chien?
- Est il détenue par eux?
- Plus précisément, c'est une question oui / non.
- C'est stackoverflow, pas un forum de discussion en anglais
- Je ne suis pas très ferme de la grammaire, mais encore, mon impression était jusqu'alors qu'un prédicat est le réponse pour les questions ci-dessus, pas de la question elle-même (donc “Ce rouge.”, “Ce est un chien.”, “Ce est détenue par les.”) Pouvez-vous préciser? Est correct?
- Je sais de ma classe de logique en logique formelle, les prédicats sont la fonction analogique. Donc, dans ce contexte, il est question, pas de réponse. Je ne suis pas si sûr en anglais normal.
InformationsquelleAutor BCS
4

Une base de l'évaluation que les résultats dans un booléen¹ de la valeur. Il fait souvent référence à une fonction ou un objet qui représente une évaluation de ce type.

^{1: booléen utilisé de façon imprécise, pas nécessairement référence à des variables déclarées bool ou boolean.}
- J'ai utilisé booléenne dans le sens de la logique booléenne. en.wikipedia.org/wiki/Boolean_logic. La logique booléenne n'est pas dépendant d'une langue.
InformationsquelleAutor C. Ross
3

D'abord jetons un coup d'oeil régulier d'un dictionnaire et voir ce qu'il dit à propos de ce qu'est un prédicat est:

Oxford American Dictionary(1980):

n. une partie d'une phrase qui dit quelque chose à propos de la grammaire sujet, comme "est court" dans "la vie est courte"

Voici une autre phrase: "Jean est grand." le prédicat est "grand". Comme vous pouvez le voir il modifie ou décrit le sujet, un autre terme qui est similaire à predicate est adjective. En substance, c'est un modificateur.

IBM technologie glossaire fournit plusieurs définitions, mais, celui qui convient le mieux est celui-ci:

Une expression utilisée dans le cadre d'un filtre, constitué d'un élément de données, un opérateur et une valeur

Voici un exemple d'utilisation de SQL:
```
SELECT name
FROM tableA
WHERE name = "john";
```
Le prédicat dans ce code serait name = "john". Il dispose de toutes les composantes de la société IBM définition et correspond également à la définition du prédicat. Le sujet name et le prédicat étant name = "john".

InformationsquelleAutor Robert Rocha
2

Une fonction qui retourne un booléen. Les prédicats sont beaucoup utilisés fonctionnelle et la programmation orientée-objet pour sélectionner des sous-ensembles de valeurs de structures de données, surtout des listes et d'autres collections. Vous trouverez de nombreux exemples dans les bibliothèques standard pour Haskell et Smalltalk.

InformationsquelleAutor Norman Ramsey
2

Il est probablement utile de prendre en compte le sens grammatical de la notion d'extrapoler le concept de programmation.

À partir de wikipedia:

Dans la grammaire traditionnelle, un prédicat est
l'une des deux principales parties d'un
phrase (l'autre étant le sujet,
qui le prédicat modifie). Pour l'
une simple phrase "John [jaune],"
John actes que l'objet, et est
jaune actes du prédicat, un
ultérieure de la description de l'objet
dirigé par un verbe.

Actuel de la sémantique linguistique, un
prédicat est une expression qui peut être
vrai de quelque chose. Ainsi, l'
les expressions "jaune" ou "c'est comme
brocoli" sont remplies de ces choses
qui sont jaunes ou comme le brocoli, les
respectivement. Cette notion est étroitement
liées à la notion de prédicat
en logique formelle, qui comprend plus
les expressions que l'ancien, comme,
par exemple, les noms et certains types de
les adjectifs.

Dans la logique termes:

Un opérateur logique qui renvoie
vrai ou faux.

de MathWorld

InformationsquelleAutor Gordon Potter
1

Je ne sais pas si je parle dans le contexte correct, mais il y a un Predicate classe en C# qui est essentiellement un délégué qui, étant donné un élément, détermine si l'objet répond à un ensemble de critères.

Par exemple, la méthode suivante, qui est de type Predicate<int>, pourraient être utilisés pour sélectionner tous les entiers supérieurs à 5:
```
public bool MyPredicate(int x)
{
   return x > 5;
}
```
Je ne suis pas sûr de savoir comment cela se traduit dans le cas général, mais c'est un début. Pour plus d'info, cliquez ici.
- Il ne cette balise [Général]...
- C# est très bien.
- Je ne sais pas si il est possible de créer une fonction qui transforme un objet (instance d'un ref type) et renvoie un booléen, et l'attribuer à un Predicate délégué. Si c'est possible, alors la Predicate délégué n'a pas beaucoup de sens.
InformationsquelleAutor jeremyalan
1

De C++ Primer 5e (§10.3.1):

Un prédicat est une expression qui peut être appelé et qui retourne une valeur qui peut être utilisé comme une condition.

Également de chapitre Termes Définis section:

prédicat : Fonction qui retourne un type qui peuvent être converties en bool.

InformationsquelleAutor Rick
0

Aussi un peu lié, il y a de la base de données liées à des prédicats:

http://www.tizag.com/sqlTutorial/sqlpredicates.php

InformationsquelleAutor Jon Onstott

Vous devez vous connecter pour publier un commentaire.