置き換えも、AならばBである。というもっとも単純な論理型言語と言えなくもないかもしれないだろ