論理型

ブーリアン型 - プログラミング言語における型のひとつ
 論理型言語 - プログラミング言語の一種