noun
environment clause
A computing term referring to a clause that specifies the environment or context in which a statement or expression is evaluated, often used in logic programming or formal specification languages.
Prologでは、環境句を使って述語の解釈を制御することがある。
In Prolog, environment clauses are sometimes used to control the interpretation of predicates.