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