此人工智慧版的語法,採用prolog語言,雖然簡單,但對未接觸的網友而言,可能還是會有些問題,因此新闢此議題,讓同好共同來研究此語法.

程式內有很多星盤資料,先舉例顯示姓名及性別,紅色為實際程式,語法如下:

% 範例:顯示姓名及性別資料.
顯示姓名:-姓名(X),顯示(['姓名:',X]),換行.
顯示性別:-性別(X),顯示(['性別:',X]),換行.

run:-$顯示姓名,$顯示性別.

% 結果
姓名:李小龍
性別:男

從上面可見,每一函式,皆以句點當結尾.
語法:函式名稱:-函式,函式...
結構:由函式名稱,符號":-",函式,逗點,句點等構成,而由":-"做為定義的符號.

以上範例,
X代表未知數,將由姓名函式及性別函式取出資料填入X中.
而函式"顯示(['姓名:',X])",以逗點區分為兩項資料,依序將"姓名:"及X顯示出來.
換行,即換下一行顯示.
最後run為特定函式,是執行的意思.

　程式中免不了有數值當然就有運算及比較,語法提供為整數的運算,其中更加上行星的交角符號(~),可計算兩星的交角,如(日~月)表示日月的交角,若等於0為朔,若等於180則為望,簡單吧!

星(V1,V2,V3,V4,V5,V6)

函式說明:取得本命星資料
V1: 星名稱　　　　,如 日,月,水,金,火,木,土,羅,計,孛,气,天,海,冥
V2: 躔二十八宿名稱,如 張,翼,軫,角,亢,..,昂,畢,觜,參,井,鬼,柳,星
V3: 躔二十八宿度數,如 0..29
V4: 居十二宮位名稱,如 子,丑,寅,卯,辰,巳,午,位,申,酉,戌,亥
V5: 居十二宮位度數,如 0..29
V6: 入十二宮名稱　,如 命,財,兄,田,奴,妻,疾,遷,官,福,相

範例說明:
% 範例:顯示本命月亮資料,假如星盤為月亮躔柳07,居未24,入奴僕宮
run:-星(月,X2,X3,X4,X5,X6),顯示(['月亮:',X2,X3,X4,X5,X6]).
% 結果:
月亮:柳7未24奴

% 範例:判斷月躔柳宿,以星(月,柳,_,_,_,_)為條件,比對本命月亮資料,若符合條件則顯示
run:-星(月,柳,_,_,_,_),顯示(['命主月躔柳宿,喜讀書.'] ).
% 結果:
命主月躔柳宿,喜讀書.

　果老星宗的神煞非常多,因此有人主張應簡化,甚至欲去之而快,但天步覺得神煞有其神驗之處,不能因為繁雜就全盤否定,若能好好應用,盤象就越發明顯.

神煞( V1 , V2 , V3 )

函式說明: 神煞資料

V1: 神煞名稱　　　,如 祿勳,陽刃,飛刃,唐符...
V2: 居十二宮位名稱,如 子,丑,寅,卯,辰,巳,午,位,申,酉,戌,亥
V3: 所掌之星的名稱,如 日,月,水,金,火,木,土

內訂神煞名稱: 含十二長生

帝旺　臨官　冠帶　沐浴　長生　養　胎　絕　墓　死　病　　衰　
祿勳　陽刃　飛刃　唐符　國印　天貴　玉貴　文昌　天廚　歲殿
歲駕　劍鋒　天空　地雌　貫索　勾神　年符　小耗　大耗　闌干
天厄　死符　伏屍　天雄　卷舌　絞殺　天狗　病符　陌越　的殺
咸池　大殺　孤辰　寡宿　三刑　驛馬　六害　華蓋　劫殺　亡神
空亡　孤虛　紅鸞　天喜　血刃　浮沉　天哭　披頭　黃旛　豹尾
擎天　遊奕　月簾　月殺　天耗　地耗　月符　注受　斗杓　卦氣


範例說明:

% 範例: 判斷年符或月符是否臨身宮或命宮,假如星盤為土掌月符入辰福德宮,月亦居辰宮.
論官:-神煞(年符,_,X),星(X,_,_,Y,_,命),顯示(['年符臨命,獄訟博戲.']).
論官:-神煞(月符,_,X),星(X,_,_,Y,_,命),顯示(['月符臨命,獄訟博戲.']).
論官:-神煞(年符,_,X),星(X,_,_,Y,_,_),星(月,_,_,Y,_,_),顯示(['年符臨身,獄訟博戲.']).
論官:-神煞(月符,_,X),星(X,_,_,Y,_,_),星(月,_,_,Y,_,_),顯示(['月符臨身,獄訟博戲.']).
run:-論官.
% 結果: 比對四個論官規則,只有第四條 神煞(月符,_,土),星(土,_,_,辰,_,_),星(月,_,_,辰,_,_) 符合星盤資料,故顯示如下.
月符臨身,獄訟博戲.


% 範例: 亦可用或(;)的功能,結合上述規則
run:-(神煞(年符,_,X);神煞(月符,_,X)),星(X,_,_,Y,_,Z),(星(月,_,_,Y,_,_);Z== 命),顯示(['年月符臨身命,獄訟損己,博戲亡家.']).
% 結果: 將命盤資料套入規則,分析其真假值得 (神煞(年符,_,X);神煞(月符,_,土)),星(土,_,_,辰,_,福),(星(月,_,_,辰,_,_);福== 命) => (假或真)且真且(真或假) => 真且真且真 => 真,故顯示如下.
年月符臨身命,獄訟損己,博戲亡家.

回應:

---

果老星宗的神煞非常多,因此有人主張應簡化,甚至欲去之而快,但天步覺得神煞有其神驗之處,不能因為繁雜就全盤否定,若能好好應用,盤象就越發明顯.

---

神煞之別的確有其效驗
只是異名同星的太多了～
我還是覺得應該簡化一下
我程式內就把同一神煞不同名稱的都只寫一個～
這樣看起來比較不花
呵呵...

人工智慧版-使用說明v1.0已完成，並寄給訂購的網友，若有語法上的問題，歡迎在此討論。

代貼網友E-mail提問:
想問程式如何撰寫,我想寫流木沖或刑或合或會本命星,應如何寫?

刑沖會合的定義有兩種:
西洋:
會: 0度
刑: 90度
合:120度
沖:180度

政餘:
會:同宮
刑:四正宮
合:拱宮
沖:對宮

此處討論政餘的方式,先考慮可取用的內訂函式:
1.星( V1 , V2 , V3 , V4 , V5 , V6 )
2.流年星( V1 , V2 , V3 , V4 , V5 , V6 )
3.對宮( V1 , V2 )
4.拱宮( V1 , V2 )

內訂函式沒有同宮及四正宮,那就自己訂立吧:

%同宮:參數相同即可

%四正宮:定義全部的組合即可
四正宮(子,卯).
四正宮(子,酉).
四正宮(丑,辰).
四正宮(丑,戌).
...
四正宮(戌,丑).
四正宮(戌,未).
四正宮(亥,寅).
四正宮(亥,申).

%設計交角,流木刑沖會合的規則
交角:-星(S1,_,_,V1,_,_),流年星(木,_,_,V1,_,_),顯示(['流木','會',S1]),換行.
交角:-星(S1,_,_,V1,_,_),流年星(木,_,_,V2,_,_),四正宮(V1,V2),顯示(['流木','刑',S1]),換行.
交角:-星(S1,_,_,V1,_,_),流年星(木,_,_,V2,_,_),拱宮(V1,V2),顯示(['流木','合',S1]),換行.
交角:-星(S1,_,_,V1,_,_),流年星(木,_,_,V2,_,_),對宮(V1,V2),顯示(['流木','沖',S1]),換行.

流木刑沖會合:-交角,多解.

%執行
run:-流木刑沖會合.

以上程式我沒實際測試,可能有錯,您可自行測試.

代貼:

回應:

---

謝謝你的回覆

請問如果想一次撰寫
1)流星入本命,大限,流年,小限何宮
2)流星入本命,大限,流年,小限是何宮主,度主
3)流星入沖刑會合何星(本命星及流年星)
4)流星入沖刑會合何宮主,度主(本命星及流年星)

這又如何寫呢?

你的例子是有,但分散了,很難結合.

---

欲取得宮主星,就需引用內訂函示" 宮(V1,V2,V3) ".

欲顯示所有流星的交角,就以大寫字母參數替代原先指定的流木.

先試解"流星入沖刑會合何星(本命星及流年星)","流星入沖刑會合何宮主,度主(本命星及流年星)",範例如下:

%本命星vs本命星宮主
本命交角:-星(S1,_,_,V1,_,_),星(S2,_,_,V1,_,_),宮(H1,_,S1),顯示([S2,'會',H1,'宮主',S1]),換行.

本命交角:-星(S1,_,_,V1,_,_),星(S2,_,_,V2,_,_),四正宮(V1,V2),宮(H1,_,S1),顯示([S2,'刑',H1,'宮主',S1]),換行,多解.

本命交角:-星(S1,_,_,V1,_,_),星(S2,_,_,V2,_,_),拱宮(V1,V2),宮(H1,_,S1),顯示([S2,'合',H1,'宮主',S1]),換行,多解.

本命交角:-星(S1,_,_,V1,_,_),星(S2,_,_,V2,_,_),對宮(V1,V2),宮(H1,_,S1),顯示([S2,'沖',H1,'宮主',S1]),換行,多解.


%流年星vs本命星宮主
交角:-星(S1,_,_,V1,_,_),流年星(S2,_,_,V1,_,_),宮(H1,_,S1),顯示(['流',S2,'會',H1,'宮主',S1]),換行,多解.

流年交角:-星(S1,_,_,V1,_,_),流年星(S2,_,_,V2,_,_),四正宮(V1,V2),宮(H1,_,S1),顯示(['流',S2,'刑',H1,'宮主',S1]),換行,多解.

流年交角:-星(S1,_,_,V1,_,_),流年星(S2,_,_,V2,_,_),拱宮(V1,V2),宮(H1,_,S1),顯示(['流',S2,'合',H1,'宮主',S1]),換行,多解.

流年交角:-星(S1,_,_,V1,_,_),流年星(S2,_,_,V2,_,_),對宮(V1,V2),宮(H1,_,S1),顯示(['流',S2,'沖',H1,'宮主',S1]),換行,多解.


刑沖會合:-$本命交角,$流年交角.

run:-刑沖會合.

>流星入本命,大限,流年,小限何宮?
下例即可得流星入何宮,而是小限的那一宮? 因未建立相關的內訂函式,必須自行設計,得想一想...

run:-
流年星( S1,_,_,_,V1,_ ),
大限盤( V1,V2,V3,V4 ),
顯示(['流',S1,'入本命',V2,',大限',V3,',流年',V4]),
換行,多解.

>流星入本命,大限,流年,小限是何宮主,度主?
果老似乎不另取轉盤的宮主,我不太瞭解這個問題?

>undefined predicate: 小限盤/0
出現錯誤訊息是因未指定流年虛歲.

每次看到這個 discussion list,
就深深覺得天步兄很了不起, 應該開發一個業務,
專門幫人家訂製論命智庫, 或者讓各家高手可以銷售自己的論命智庫說.

一般人連 c 都有問題了,
還要頭腦清楚邏輯分明到可以掌握 prolog,
大概只有極少數狂熱分子說.

不過反過來想, 這也是很好的進入障礙就是了.

最近越玩越覺得從天文曆算這邊衍申出來的 model,
威力真是無遠弗屆阿~~~ 數學真好玩, 又真好用 !!

>專門幫人家訂製論命智庫, 或者讓各家高手可以銷售自己的論命智庫說.
　是想建立買賣智庫的機制,就如同網路上訂購lib或component一般,如此可改變命理知識的傳遞方式.

>還要頭腦清楚邏輯分明到可以掌握 prolog, 大概只有極少數狂熱分子說.
　從玩組合語言到人工智慧語言,已浸淫在電腦語言中20幾年了,確實是很狂熱.希望電腦科學能再向前邁進,讓電腦語言能像人類語言般的靈活,進而讓電腦自行思考.語言對人類非常重要,在小學入學前,我就意識到腦部絕大部份是以語言方式思考的,只有極少部份是用圖形或其他方式思考.

>最近越玩越覺得從天文曆算這邊衍申出來的model,威力真是無遠弗屆阿~~~數學真好玩
　數學來自自然,而自然界中又以天文對人類數學的供獻最多.1663年牛頓為了理解一本占星書中的幾何圖形,便買了一本歐基里得(Euclid)的幾何學書來研讀,兩年後他便創立了微積分。

網友提出有關人工智慧prolog的問題,我們來想一想.

五個村莊問題

有五個村莊塗著不同顏色，住著五種不同國籍的人，喝不同飲料，抽不同香煙，及養不同寵物，其關係如下:

－英國人住紅色村莊
－西班牙人養狗
－挪威人住在左邊第一間村莊
－住黃色村莊的人抽長壽煙
－抽新樂園的住在養狐狸人的旁邊
－挪威人住在藍色村莊旁邊
－抽萬寶路的人養蛇
－抽肯特煙的人喝橘子汁
－烏克蘭人喝茶
－日本人抽百樂門
－抽長壽煙的人住在養馬的人的旁邊
－住綠村莊的人喝咖啡
－綠村莊相鄰象牙色村莊的右邊
－中間村莊的人喝牛奶

請問斑馬住在那個村莊？
誰喝水？
他們是怎麼住的？
請問括弧紅色問號的部份該寫什麼程式碼?

程式碼：
member(C,D,N,S,P,[[C|_],[D|_],[N|_],[S|_],[P|_]]).
member(C,D,N,S,P,[[_|Lc],[_|Ld],[_|Ln],[_|Ls],[_|Lp]]):- menber(???).
right(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,[[C1,C2|_],[D1,D2|_],[N1,N2|_],[S1,S2|_],[P1,P2|_]]).
right(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,[[_|Lc],[_|Ld],[_|Ln],[_|Ls],[_|Lp]]:-
right(???).
next(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,L):- right(C1,D1,N1,S1,P1,???,L);
right(???,C1,D1,N1,S1,P1,L).
constraints(L):-
member(紅色,_,英國人,_,_,L),
member(_,_,西班牙人,_,狗,L),
member(黃色,_,_,長壽煙,_,L),
member(_,茶,烏克蘭人,_,_,L),
member(綠色,酒,_,_,_,L),
member(_,_,_,萬寶路,蛇,L),
member(_,橘子汁,_,肯特,_,L),
member(_,_,日本人,百樂門,_,L),
right(象牙色,_,_,_,_,綠色,_,_,_,_,L),
next(_,_,_,新樂園,_,_,_,_,_,狐狸,L),
next(_,_,_,長壽煙,_,_,_,_,_,馬,L),
next(_,_,挪威人,_,_,藍色,_,_,_,_,L).

thinking:-constraints([[C1,C2,C3,C4,C5],[D1,D2,牛奶,D4,D5],
[挪威人,N2,N3,N4,N5],[S1,S2,S3,S4,S5],
[P1,P2,P3,P4,P5]],
L = [[C1,C2,C3,C4,C5],[D1,D2,牛奶,D4,D5],
[挪威人,N2,N3,N4,N5],[S1,S2,S3,S4,S5],
[P1,P2,P3,P4,P5]],
member(C,_,_,_,斑馬,L),
member(_,水,N,_,_,L),
write([斑馬,住在,C,村莊]),nl,
write([N,喝,水]),nl,
write(L),nl,
fail.

我就用天步果老星宗人工智慧版程式解一下問題,紅色為答案.

member(C,D,N,S,P,[[C|_],[D|_],[N|_],[S|_],[P|_]]).
member(C,D,N,S,P,[[_|Lc],[_|Ld],[_|Ln],[_|Ls],[_|Lp]]):-
member(C,D,N,S,P,[Lc,Ld,Ln,Ls,Lp]).

right(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,[[C1,C2|_],[D1,D2|_],[N1,N2|_],[S1,S2|_],[P1,P2|_]]).
right(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,[[_|Lc],[_|Ld],[_|Ln],[_|Ls],[_|Lp]]):-
right(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,[Lc,Ld,Ln,Ls,Lp]).

next(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,L):-
　right(C1,D1,N1,S1,P1,C2,D2,N2,S2,P2,L);
　right(C2,D2,N2,S2,P2,C1,D1,N1,S1,P1,L).

constraints(L):-
　member(紅色,_,英國人,_,_,L),
　member(_,_,西班牙人,_,狗,L),
　member(黃色,_,_,長壽煙,_,L),
　member(_,茶,烏克蘭人,_,_,L),
　member(綠色,酒,_,_,_,L),
　member(_,_,_,萬寶路,蛇,L),
　member(_,橘子汁,_,肯特,_,L),
　member(_,_,日本人,百樂門,_,L),
　right(象牙色,_,_,_,_,綠色,_,_,_,_,L),
　next(_,_,_,新樂園,_,_,_,_,_,狐狸,L),
　next(_,_,_,長壽煙,_,_,_,_,_,馬,L),
　next(_,_,挪威人,_,_,藍色,_,_,_,_,L).

thinking:-
　constraints([[C1,C2,C3,C4,C5],[D1,D2,牛奶,D4,D5],[挪威人,N2,N3,N4,N5],
　[S1,S2,S3,S4,S5],[P1,P2,P3,P4,P5]]),
　L = [[C1,C2,C3,C4,C5],[D1,D2,牛奶,D4,D5],[挪威人,N2,N3,N4,N5],[S1,S2,S3,S4,S5],[P1,P2,P3,P4,P5]],
　member(C,_,_,_,斑馬,L),
　member(_,水,N,_,_,L),
　顯示([斑馬,住在,C,村莊]),換行,
　顯示([N,喝,水]),換行,
　顯示([L]),換行,
　多解.

run:-$thinking.


人工智慧解盤:

斑馬住在綠色村莊
挪威人喝水
[
[黃色　,藍色　　,紅色　,象牙色　,綠色　],
[水　　,茶　　　,牛奶　,橘子汁　,酒　　],
[挪威人,烏克蘭人,英國人,西班牙人,日本人],
[長壽煙,新樂園　,萬寶路,肯特　　,百樂門],
[狐狸　,馬　　　,蛇　　,狗　　　,斑馬　]
]

國籍 挪威 烏克蘭 英國 西班牙 日本
村莊 黃色 蘭色 紅色 象牙色 綠色
飲料 水 茶 牛奶 橘子汁 咖啡
香煙 長壽煙 新樂園 萬寶路 肯特 百樂園
寵物 狐狸 馬 蛇 狗 斑馬
方位 左一 左二 中間 右二 右一

真好玩...天步大大多出點這樣的題目啊....

感覺首先只要把挪威和英國確定
然後把其他兩個有關係的條件看成一個整體就很好排出來了...

耐心+試驗的過程...

哈哈哈哈哈...