1. In functional programming, a boolean expression attached to a function definition specifying when (for what arguments) that definition is appropriate. 2. In (parallel) logic programming, a boolean expression which is used to select a clause from several alternative matching clauses. See Guarded Horn Clauses. 3. In parallel languages, a boolean expression which specifies when an message may be sent or received. (1995-05-09)