邏輯程序設(shè)計語言prolog(編輯修改稿)
2025-02-03 01:42 本頁面
【文章內(nèi)容簡介】 名要求必須是以大寫字母或下劃線開頭的字母、數(shù)字和下劃線序列 , 或者只有一個下劃線。 這后一種變量稱為無名變量。 3. 算術(shù)表達(dá)式 Turbo PROLOG提供了五種最基本的算術(shù)運算：加、減、 乘、除和取模 , 相應(yīng)運算符號為 +、 、 *、 /、 mod。 這五種運算的順序為： *、 /、 mod優(yōu)先于 +、 。 數(shù)學(xué)中的算術(shù)表達(dá)式 PROLOG中的算術(shù)表達(dá)式 x+yz X+Y*Z abc/d A*BC/D u mod v U mod V Y=X+5 √ X=X+1 4. Turbo PROLOG提供了六種常用的關(guān)系運算 , 即小于、 小于或等于、等于、大于、大于或等于和不等于 , 其運 , =, =, , =, 數(shù)學(xué)中的關(guān)系式 Turbo PROLOG中的關(guān)系式 X+1≥Y X+1=Y X≠Y XY brother(Name1, Name2): person(Name1, man, Age1), person(Name2, man, Age2), mother(Z, Name1), mother(Z, Name2), Age1Age2. ◆ “=”的用法 ： 比較符 和 約束符 p(X, Y, Z):Z=X+Y. 當(dāng)變量 X、 Y、 Z全部被實例化時 , “=”就是比較符。 如： Goal: p(3, 5, 8). 機(jī)器回答： yes。 而對于 Goal: p(3, 5, 7). 機(jī)器回答： no。 但當(dāng) X, Y被實例化 , 而 Z未被實例化時 , “=”號就是約束符。 如： Goal: p(3, 5, Z). 機(jī)器回答： Z=8 這時 , 機(jī)器使 Z實例化為 X+Y的結(jié)果。 輸入與輸出 (1) readln (X) (2) readint (X) (3) readreal (X) (4) readchar (X) (5) write (X1, X2, … ,Xn) (6) nl 例 用輸入輸出謂詞編寫一個簡單的成績 數(shù)據(jù)庫查詢程序。 PREDICATES student(integer, string, real) grade GOAL grade. CLAUSES student(1, ″ 張三 ″, ). student(2, ″ 李四 ″, ). student(3, ″ 王五 ″, ). grade: write(″ 請輸入姓名 :″), readln(Name), student(_, Name, Score), nl, write(Name, ″ 的成績是 ″, Score). grade: write(″ 對不起 , 找不到這個學(xué)生 !″). 分支與循環(huán) 1. 分支 IF x0 THEN x:=1 ELSE x:=0 用 PROLOG br:x0, x=1. br:x=0. 2. 循環(huán) 程序 1： student(1, ″ 張三 ″, ). student(2, ″ 李四 ″, ). student(3, ″ 王五 ″, ). print:student(Number, Name, Score), write(Number, Name, Score), nl, Number=3. 程序 2： student(1, ″ 張三 ″, ). student(2, ″ 李四 ″, ). student(3, ″ 王五 ″, ). print:student(Number, Name, S
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1