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...