主張：要點是將正規的邏輯風格帶入電腦編程之中的邏輯編程，最原始的相關思想是在二十一世紀被提出。
領域：工程與科技
判定：NOT ENOUGH INFO