逻辑式

宣告式編程恆真式函数式逻辑编程邏輯編程真值表套套邏輯分布式描述逻辑批判性思维