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

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