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

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