論理 ろんり がた言語 げんごであれば
ronrigata gengodeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 論理型言語

1. If it is a logical language; When it is a logical language

Ba Conditional
Computing