prolog初學語法結構

2021-09-25 17:17:53 字數 1408 閱讀 6357

prolog(programming of logic)邏輯程式設計

1.prolog中所有語句都以  " . " 來結束

2.write() 相當於列印命定,類似於print()

3.換行符為「nl」

換行符的用法

?- write('hello,'), nl, write('world').

hello,

world

true.

4.退出命令「halt」

5.常量與變數,prolog中大寫開頭的字母表示變數,小寫開頭的字母表示常量

例如:?- write(abc).

abctrue.

?- write(abc).

_3908

true.

6.關係與屬性

關係:friend(a,b)說明a的朋友是b,但不代表b的朋友就是a

屬性:male(a) 表示a是男性

7.規則

代表一種邏輯推理的規則,可以由乙個結論推得另外乙個結論,符號":-"代表推理關係

例如:friend(x, y) :- friend(y,x).表示如果friend(y,x)是true 則friend(x,y)也是true

如果一條規則取決於多個條件同時為true,則條件之間使用逗號分隔。

例如:mother(x, y) :- child(y,x), female(x).

如果一條規則取決於某個條件為false,則在條件之前加上\+表示否定。

例如:onesidelove(x, y) :- loves(x, y), \+ loves(y,x).

8.查詢

prolog 支援查詢已經設定的條件。先設定乙個指令碼friend.pl

friend(john, julia).

friend(john, jack).

friend(julia, sam).

friend(julia, molly).

指令碼中包含這四種關係

下面利用符號「[ ]」,先載入這個指令碼,再進行查詢

?-[friend]

true  代表載入成功

?-friend(john, jack). true. 代表查詢到此關係

?- friend(john, sam). false.代表未查找到此關係

listing()函式可以列出所有的朋友關係。

who是變數名。任意的變數名都可以,只要首字母為大寫。

利用who同樣可以查詢到john的朋友數量

?- friend(john, who).

who = julia;

who = jack.

學自「prolog 語言入門教程」

css語法結構

轉 css屬性和選擇符 css的語法結構僅僅有三部分組成 選擇符 selector 屬性 property 和值 value 使用方法 selector 選擇符 selector 指這組樣式編碼所要針對的物件,可以是乙個xhtml標籤,如body,h1 也可以是定義了特定的id或class的標籤,如...

CSS語法結構

css中文譯為層疊樣式表。是用於控制網頁樣式並允許,將樣式資訊與網頁內容分離的一種標記性語言。通俗的講就是告訴瀏覽器,這段樣式將應用到哪個物件.基本語法規範 引數說明 屬性和屬性值之間用冒號 隔開,定義多個屬性時,屬性之間用英文輸入法下的分號 隔開,color red 和 font size 25p...

css語法結構

css屬性和選擇符 css的語法結構僅僅有三部分組成 選擇符 selector 屬性 property 和值 value 使用方法 selector 選擇符 selector 指這組樣式編碼所要針對的物件,可以是乙個xhtml標籤,如body,h1 也可以是定義了特定的id或class的標籤,如 m...