ろんりがた
boolean type
・argument
・discourse
・logic
・arrangement
・reason
・justice
・truth
・mould
・type
・model
ろんりがたげんご
logic programming language