berom
논리형 언어