溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
在Prolog中定義謂詞需要使用規(guī)則和事實。規(guī)則定義了謂詞如何被推導出來，而事實則是直接給出了謂詞的定義。下面是一個簡單的例子，定義了一個謂詞is_parent，表示一個人是另一個人的父母：
parent(john, mary).
parent(john, tom).
parent(sue, mary).
is_parent(X, Y) :- parent(X, Y).
在這個例子中，parent是一個事實，表示john是mary和tom的父親，sue是mary的母親。is_parent是一個規(guī)則，定義了當一個人是另一個人的父母時，可以被認為是父母關系。
要在Prolog中使用這個謂詞，可以查詢is_parent來檢查兩個人之間是否存在父母關系：
?- is_parent(john, mary).
true.
?- is_parent(sue, tom).
false.
免責聲明：本站發(fā)布的內(nèi)容（圖片、視頻和文字）以原創(chuàng)、轉(zhuǎn)載和分享為主，文章觀點不代表本網(wǎng)站立場，如果涉及侵權請聯(lián)系站長郵箱：is@yisu.com進行舉報，并提供相關證據(jù)，一經(jīng)查實，將立刻刪除涉嫌侵權內(nèi)容。
