邏輯程序設(shè)計(jì)語(yǔ)言prolog(存儲(chǔ)版)
【正文】 e(″Y=″, Y). CLAUSES likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):likes(X,sports),likes(X,music). friend(john,X):likes(X,reading),likes(X,music). 領(lǐng)域段 該段說(shuō)明程序謂詞中所有參量項(xiàng)所屬的領(lǐng)域。 likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):likes(X,reading),likes(X,music). friend(john,X):likes(X,sports),likes(X,music). ?friend(john,Y). ?likes(mary,X). ?likes(mary,music). ?friend(X,Y). ?likes(bell,sports), likes(mary,music), friend(john,X). PROLOG程序的運(yùn)行機(jī)理 1. 自由變量與約束變量 2. 匹配合一 兩個(gè)謂詞可匹配合一 , 是指兩個(gè)謂詞的名相同 , 參量項(xiàng)的個(gè)數(shù)相同 , 參量類(lèi)型對(duì)應(yīng)相同 , 并且對(duì)應(yīng)參量項(xiàng)還滿足下列條件之一： (1) 如果兩個(gè)都是常量 , 則必須完全相同。 3. 問(wèn)題 (question) 格式 ?〈 謂詞名 〉 (〈 項(xiàng)表 〉 ){,〈 謂詞名 〉(〈 項(xiàng)表 〉 )}. ? student(john). ? like(mary,X). 功能 問(wèn)題表示用戶的詢(xún)問(wèn) , 它就是程序運(yùn)行的目標(biāo)。 成功后 , 再繼續(xù)滿足原子目標(biāo)。 這種目標(biāo)稱(chēng)為復(fù)合目標(biāo)。另外 , 變量名要求必須是以大寫(xiě)字母或下劃線開(kāi)頭的字母、數(shù)字和下劃線序列 , 或者只有一個(gè)下劃線。 如： Goal: p(3, 5, Z). 機(jī)器回答： Z=8 這時(shí) , 機(jī)器使 Z實(shí)例化為 X+Y的結(jié)果。 reverse(［］ ,［］ ). reverse(［ H|T］ ,L):reverse(T,L1), append(L1,［ H］ ,L). 回溯控制 截?cái)嘀^詞 “ !”的語(yǔ)義： (1) 若將 “ !”插在子句體內(nèi)作為一個(gè)子目標(biāo) , 它總是立即成功。 domains n, f = integer predicates factorial(n, f) goal readint(I), factorial(I, F), write(I, ″!=″, F). clauses factorial(1, 1). factorial(N, Res): N0, N1=N1, factorial(N1, FacN1), Res=N*FacN1. 。 append(［］ , L, L). append(［ H|T］ , L2,［ H|Tn］ ):append(T,L2, Tn). Goal: append(［ 1, 2, 3］ , ［ 4, 5］ , L). L=［ 1, 2, 3, 4, 5 Goal: append(［ 1,2,3］ ,［ 4,5］ ,［ 1,2,3,4,5］ ). yes Goal: append(［ 1,2,3］ ,［ 4,5］ ,［ 1,2,3,4,5,6］ ). no Goal: append(［ 1, 2, 3］ , Y, ［ 1, 2, 3, 4, 5］ ). Y=［ 4, 5 Goal: append(X, ［ 4, 5］ , ［ 1, 2, 3, 4, 5］ ). X=［ 1, 2, 3 Goal: append(X, Y, ［ 1, 2, 3, 4, 5］ ).
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1