techan.pro

是关于神经网络的人工智能编写

:-op(800, fx, if).
:-op(700, xfx, then).
:-op(300, xfy, or).
:-op(200, xfy, and).
:-op(800,fx,fact).
:-op(800,xfx,<=).

if fujian and tc then fujiantc.

if fujiantc and fuzhou then fuzhoutc.

if fuzhoutc and yongtai then yongtaitc.
if yongtaitc and fruit then frl.
if yongtaitc and fruit then tys.

if fuzhoutc and lianjiang then lianjiangtc.
if lianjiangtc and fruit  then dhsmt.
if lianjiangtc and seafood  then gthip.
if lianjiangtc and seafood then gtsy.

if fuzhoutc and luoyuan then luoyuantc.
if luoyuantc and food  then xjxg.
if luoyuantc and food  then hkzz.

if fuzhoutc and minhou then minhoutc.
if minhoutc and tea then hfmlh.
if minhoutc and seafood  then thtty.

if fuzhoutc and minqing then minqingtc.
if minqingtc and fruit  then xtwhs.
if minqingtc and fruit  then dkmy.

if fuzhoutc and taijiang then taijiangtc.
if taijiangtc and good then fzqk.

if fuzhoutc and changle then changletc.
if changletc and seafood  then zghb.
if changletc and food  then cllj.
if changletc and good then hsxhtq.

if fuzhoutc and fuqing then fuqingtc.
if fuqingtc and fruit  then tcpp.
if fuqingtc and food  then hyzhs.

if fuzhoutc and pingtan then pingtantc.
if pingtantc and good  then bd.
if pingtantc and seafood  then ssby.
if pingtantc and good  then bkh.


if fujiantc and quanzhou then quanzhoutc.
if quanzhoutc and tea  then tgy.
if quanzhoutc and fruit  then hjg.
if quanzhoutc and tea  then ycfsc.

if fujiantc and putian then putiantc.
if putiantc and good then qmw.
if putiantc and fruit  then fjly.
if putiantc and food  then xhmfg.

if fujiantc and sanming then sanmingtc.
if sanmingtc and food  then mxrpg.
if sanmingtc and fruit  then sygt.
if sanmingtc and food then xbdhg.

if fujiantc and nanping then nanpingtc.
if nanpingtc and fruit  then wyrg.
if nanpingtc and food  then joby.
if nanpingtc and tea  then wyyc.

if fujiantc and longyan then longyantc.
if longyantc and good  then yftq.
if longyantc and food  then lcby.
if longyantc and food  then wpzdg.

if fujiantc and zhangzhou then zhangzhoutc.
if zhangzhoutc and fruit  then njlg.
if zhangzhoutc and good  then bbyn.
if zhangzhoutc and good  then zzsx.

if fujiantc and xiamen then xiamentc.
if xiamentc and food then hss.
if xiamentc and food  then xb.
if xiamentc and seafood then wcy.

if fujiantc and ningde then ningdetc.
if ningdetc and good then ndzb.
if ningdetc and seafood then fjml.
if ningdetc and tea then tygh.




is_true(P) :- fact P.
is_true(C) :- if A then C ,
                  is_true(A).
is_true(P1 and P2) :- is_true(P1),
                      is_true(P2).
is_true(P1 or P2) :- is_true(P1).
is_true(P1 or P2) :- is_true(P2).

is_true(P, P) :- fact P.
is_true(C, C<= ProofTreeA) :-
         if A then C,
         is_true(A, ProofTreeA).
is_true(P1 and P2, ProofTree1 and ProofTree2) :-
         is_true(P1, ProofTree1),
         is_true(P2, ProofTree2).
is_true(P1 or P2, ProofTree1) :- is_true(P1, ProofTree1).
is_true(P1 or P2, ProofTree2) :- is_true(P2, ProofTree2).

forward :- new_derived_fact(P), !,
           write('Derived:'), write(P), nl,
           assert( fact P),
           forward.
forward :- write('No more facts.').
new_derived_fact(C) :- if A then C ,
                       not(fact C),
                       composed_fact(A).
composed_fact(P) :- fact(P).
composed_fact(C) :- if A then C ,
                  composed_fact(A).
composed_fact(P1 and P2) :- composed_fact(P1),
                            composed_fact(P2).
composed_fact(P1 or P2) :- composed_fact(P1).
composed_fact(P1 or P2) :- composed_fact(P2).