Context A term in Prolog. Definition predicate is a collection of clauses with heads that match each other. For example, a predicate can be made up of a collection of rules and facts that have the same functor and arity, and whose arguments are all variables. Example For example, consider the following program: father(Terah, Abraham). father(Abraham, Isaac). father(Isaac, Jacob). father(Jacob, Judah). ancestor(A,D) :- father(A,D). ancestor(A,D) :- father(F,D), ancestor(A,F). This program contains two predicates: father/2 and ancestor/2. The father/2 predicate consists of four facts, while the ancestor/2 predicate consists of two rules. A predicate can be a mix of facts and rules.
Collection of clauses with the same functor (name/ arity). If a goal is proved, the system looks for a predicate with the same functor, then used indexing to select candidate clauses and then tries these clauses one-by-one. See also backtracking.
A conditional expression that is optionally combined with the logical operators AND and OR to make up the set of conditions in a WHERE or HAVING clause. In SQL, a predicate that evaluates to UNKNOWN is interpreted as FALSE.
A functor that specifies some relationship existing in the problem domain. For example, is a built-in predicate specifying the relationship of one number being less than another. In contrast, the functor is not (normally used as) a predicate. A predicate is either built-in or is implemented by a procedure.
what is said about the subject. It comprises a verb, which may stand alone, or the entire verb phrase including complements. Children read. Friends and neighbours stopped by to offer help after the event. Grass is green.
the part of a sentence or clause that expresses what is said of the subject and that usually consists of a verb with or without objects, complements, or adverbial modifiers. The predicate excludes the subject itself, which gives it something in common with answers given by politicians.
A logical expression that determines whether or not a set of tracing actions should be executed when a probe fires. Each D program clause may have a predicate associated with it, surrounded by slashes / /.
The term 'predicate' in linguistics has two distinct (though related) senses, what we will call the subject-predicate sense and the predicate-argument sense. The subject-predicate sense derives from traditional logic, where propositions are divided into two parts, the subject and the predicate, and the predicate is what is affirmed (or denied) of the subject. In the history of formal logic, this original sense was generalized to include relations missing more than a single argument. In the resulting predicate-argument sense, in linguistics, the term 'predicate' refers to a head that expresses a logical relation. Typically, predicates in this sense are verbs, but other types of heads can function as predicates in this sense as well. The two senses are illustrated in (1) and (2). The predicate is underlined; notice that the two senses can pick out the same expression, as in the (b) examples. Subject-predicate sense: Bill gives money to charity. Bill swims. Predicate-argument sense: Bill gives money to charity. Bill swims. Sheila's criticism of the plan
A basic grammatical division of a sentence. A predicate is the part of the sentence comprising what is said about the subject. The complete predicate consists of the main verb and its auxiliaries (the simple predicate) and any complements and modifiers: W
In formal semantics a predicate is an expression of the semantic type of sets. An equivalent formulation is that they are thought of as indicator functions of sets, i.e. functions from an entity to a truth value.
In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the expressions "is yellow" or "likes broccoli" are true of those things that are yellow or like broccoli, respectively.