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