溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
在Prolog中，逆向脫卻是一種基于目標驅動的搜索策略，它與正向脫卻相對應。在逆向脫卻中，系統會從目標開始逐步向前推導，尋找能夠滿足目標的規則和事實，直到找到解決方案或者發現無法解決。逆向脫卻通常用于查詢或搜索問題，通過自底向上的推導過程來尋找解決方案。逆向脫卻是Prolog中常見的搜索策略之一，和正向脫卻一起構成了Prolog的搜索和推理機制。
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
