Boolean type
Computing term for a data type that can hold true or false values.
In this programming language, a Boolean-type variable is either true or false.
logic programming language
Compound of 論理 (logic) and 型 (type), a direct translation of the English computing term 'Boolean type'.