• 其他词汇： 逻辑语言 布尔变数 布尔变量 逻辑变数

• 更多词汇： 逻辑程式语言 逻辑编程语言 逻辑程序语言 逻辑程式语言