主張：將正規的邏輯風格帶入程式設計中是邏輯編程的重點。
領域：工程與科技
判定：supports