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