-
請記住,序言系統不知道程式中謂詞的含義,它只是象徵性地操縱以完全遵循決議推理規則的方式陳述。 因此,由程式設計師來描述謂詞相關特徵的所有術語的事實和規則。 有鑑於此,序言事實通常用於確定謂詞的特定例項,而規則則用於描述一般原則。
這是關於在謂語之前說話,然後是更快的方式。 這兩個事實說明了“更快”的乙個特定例項,而一般規則則描述了該屬性。 請注意,兔子比蝸牛快這一事實雖然沒有具體說明,但這是兩個事實與規則相結合的結果。
在使用 Prolog 語言開發軟體時,程式設計師的任務是開發事實和規則來描述已知收集的資訊。 這些事實和規則構成了原始報告中建立的演繹系統。 一旦建立了這個語句集合,系統就可以提出猜想(在prolog術語中稱為目標),通常是通過計算機的鍵盤。
當這樣的目標被提交給初步宣告的後果時。 根據我們收集的描述性陳述,每個目標的關係更快。
更快(、蝸牛)。
更快(兔子、)。
更快(兔子、蝸牛)。
它也可以如此確定,因為每個人都是第一次說話的邏輯結果。 前兩個是最初陳述中的事實,而第三個則需要系統以一定的難度進行演繹。
乙個更有趣的例子是,如果我們得到它提供的目標引數是乙個變數而不是乙個常量。 在這種情況下,請嘗試從初始報告的序言中定位所需的目標,同時保持統一跟蹤。 然後,如果目標是獲取序言,請報告這些統一。
例如,考慮目標。
更快(瓷磚、蝸牛)。
針對這種情況,報告的序言。
更快(、蝸牛)。
事實上,這是第一種說法的結果,與採用統一的目標一致。
此外,如果我們要求 prolog 語言告訴我們更多內容,它會找到並報告結果。
更快(兔子、蝸牛)。
與此相反,我們可以要求序幕尋找動物例項,並提出乙個比兔子慢的目標。
更快(兔子,寬)。
事實上,如果我們從目標開始。
更快(v 和 w)。
Prolog 最終會尋找可以更快地完成的所有工作,以便從初始報告中匯出關係。 這意味著單個 prolog 程式可用於確定特定動物比另一種動物快、找到這些動物、動物比給定速度慢、找到這些動物、動物比給定速度慢,或者所有關係都更快找到。
-
請記住,prolog 系統不知道程式謂詞的含義; 它只是操縱內容,以一種完全象徵性的方式解決推理規則。 因此,描述所有相關特徵方面是乙個謂詞、事實和程式規則。 在這種觀點中,prolog 資料通常用於標識特定例項,而謂詞規則用於描述一般原則。
這後面是關於“謂詞更快”的語句之前的方法。 兩個事實描述了特定情況下的“速度”,而規則則描述了一般的財產。 請注意以下事實:
蝸牛比兔子的速度,雖然不明確,但兩個事實結合規則的結果。
當軟體開發利用 prolog 時,其任務是開發乙個具有大量已知事實和資訊規則的程式設計師。 這些事實和規則的初步報告用於推斷系統。 一旦這是乙個語句的集合,建立的(稱為目標推測序言術語)就可以定期呈現給系統他們需要的計算機鍵盤。
當這個目標被提交給後果的初步報告時。 根據我們設定的更快的關係,每個組的目標是成為更快的和蝸牛)。
更快(兔子、)。
快(白兔、蝸牛)。
這可能是這種確認,因為每乙個都是必然後果的初步報告。 前兩者與最初的事實陳述相同,而第三者則需要一定程度的演繹系統。
乙個更有趣的例子是讓我們進入目標變數,而不是他們認為它們是常量的論點。 在這些情況下,Prolog希望在初始報告中的目標上扔一塊磚頭,以跟蹤必須完成的統一要求。 如果目標是 prolog 報告這些統一,那麼這是有道理的。
例如,考慮目標。
快(w,蝸牛)。
對此,prolog 報告。
更快的,蝸牛)。
實際上,這是一種後果的初步報告,並同意統一通過目標。
此外,如果我們要求 prolog 告訴我們它發現了什麼並報告結果。
更快(兔子,鼻涕)。
相反,我們可以要求 prolog 找到比兔子更快地呈現目標的動物例項。
更快(兔子,w)。
事實上,如果我們從目標開始。
更快 (v, w)。
最終,prolog孜孜不倦地努力,從最初的報告中更快地建立關係。 這意味著 prolog 程式可用於確認特定動物比另一種動物更快,找出這些動物比給定動物更快,找出這些動物比動物更快,或者發現所有更快的關係。
-
樓上都是機器翻譯的! 如果房東不滿意,你可以給我發訊息,我有時間我會幫你做。 有點太長了,只有50分鐘。
-
我為你準備了翻譯,但請問我的名字,我會發布答案。 我加入了乙個要求高費率並且不回答匿名問題的團隊。
-
計算機軟體大致可分為兩種型別:系統程式,用於管理計算機本身的功能並為使用者解決問題。 所有系統程式中最基本的是作業系統,用於控制計算機的資源並提供可以編寫應用程式的基礎。
-
計算機軟體大致可分為以下兩類:系統程式,控制和管理計算機本身; 還有乙個應用程式可以為計算機使用者解決問題。 所有系統程式中最基本的是作業系統,其主要功能是管理計算機資源,為使用者提供簡單的操作環境和編寫應用程式。 ,
目前,具有“智慧型學習功能”的病毒種類繁多,只要發現您正在執行的程式危及病毒本身的安全,它就會強制關閉您開啟的程式,包括所有防毒軟體。 這種型別的病毒通常模擬系統上執行的程式之一,例如 svchost、fmt 等。 電腦無法進入安全模式,通常是由於登錄檔安全啟動鍵被修改了,為了修復系統,也可以不進入安全模式進行修復的方式來處理這類病毒: >>>More