論理 ろんり がた言語 げんごだったら
ronrigata gengodattara

Noun
Da Copula

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

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

Tara Conditional
Computing