zuhe.pl

利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则

:-lib(fd).
:-lib(chr).
:-chr(zuhe1).


composition(fa,fa,*).
composition(fa,ne,[fa,ne,ec,po,tp,ti,np,ni]).
composition(fa,ec,[fa,ne,ec,po,tp,ti,np,ni]).
composition(fa,po,[fa,ne,ec,po,tp,ti,np,ni]).
composition(fa,tp,[fa,ne,ec,po,tp,ti,np,ni]).
composition(fa,ti,[fa]).
composition(fa,np,[fa,ne,ec,po,tp,ti,np,ni]).
composition(fa,ni,[fa]).
composition(fa,eq,[fa]).

composition(ne,fa,[fa,ne]).
composition(ne,ne,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ne,ec,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ne,po,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ne,tp,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ne,ti,[fa,ne]).
composition(ne,np,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ne,ni,[fa]).
composition(ne,eq,[ne]).

composition(ec,fa,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ec,ne,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ec,ec,[fa,ne,ec,po,tp,ti,np,ni,eq]).
composition(ec,po,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ec,tp,[ec,po,np,tp]).
composition(ec,ti,[fa,ne,ec]).
composition(ec,np,[po,tp,np]).
composition(ec,ni,[fa,ne]).
composition(ec,eq,[ec]).

composition(po,fa,[fa,ne,ec,po,tp,ti,np,ni]).
composition(po,ne,[fa,ne,ec,po,tp,ti,np,ni]).
composition(po,ec,[fa,ne,ec,po,tp,ti,np,ni]).
composition(po,po,[fa,ne,ec,po,tp,ti,np,ni,eq]).
composition(po,tp,[po,tp,np]).
composition(po,ti,[fa,ne,ec,po,tp,np]).
composition(po,np,[po,tp,np]).
composition(po,ni,[fa,ne,ec,po,ti,ni]).
composition(po,eq,[po]).

composition(tp,fa,[fa]).
composition(tp,ne,[fa,ne]).
composition(tp,ec,[fa,ne,ec]).
composition(tp,po,[fa,ne,ec,po,tp,np]).
composition(tp,tp,[tp,np]).
composition(tp,ti,[fa,ne,ec,po,tp,ti,np,ni]).
composition(tp,np,[np]).
composition(tp,ni,[fa,ne,ec,po,tp,ti,np,ni]).
composition(tp,eq,[tp]).

composition(ti,fa,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ti,ne,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ti,ec,[po,tp,np]).
composition(ti,po,[po,tp,np]).
composition(ti,tp,[po,tp,np]).
composition(ti,ti,[ti,ni]).
composition(ti,np,[po,tp,np]).
composition(ti,ni,[np]).
composition(ti,ep,[ti]).

composition(np,fa,[fa]).
composition(np,ne,[fa,ne]).
composition(np,ec,[fa,ne]).
composition(np,po,[fa,ne,ec,po,tp,np]).
composition(np,tp,[np]).
composition(np,ti,[fa,ne,ec,po,tp,ti,np,ni]).
composition(np,np,[np]).
composition(np,ni,[fa,ne,ec,po,tp,ti,np,ni]).
composition(np,eq,[np]).

composition(ni,fa,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ni,ne,[fa,ne,ec,po,tp,ti,np,ni]).
composition(ni,ec,[po,ti,ni]).
composition(ni,po,[po,ti,ni]).
composition(ni,tp,[po,tp,np,ti,ni]).
composition(ni,ti,[ni]).
composition(ni,np,[po,tp,np,ti,ni]).
composition(ni,ni,[ni]).
composition(ni,eq,[ni]).

composition(eq,fa,[fa]).
composition(eq,ne,[ne]).
composition(eq,ec,[ec]).
composition(eq,po,[po]).
composition(eq,tp,[tp]).
composition(eq,ti,[ti]).
composition(eq,np,[np]).
composition(eq,ni,[ni]).
composition(eq,eq,[eq]).

composition(n,n,[n]).
composition(n,ne,[n,ne]).
composition(n,e,[n,ne]).
composition(n,se,[n,ne,e,se,s,o]).
composition(n,s,[n,o,s]).
composition(n,sw,[n,nw,w,sw,s,o]).
composition(n,w,[nw,n]).
composition(n,nw,[nw,n]).
composition(n,o,[n]).

composition(ne,n,[ne]).
composition(ne,ne,[ne]).
composition(ne,e,[ne]).
composition(ne,se,[ne,e,se]).
composition(ne,s,[ne,e,se]).
composition(ne,sw,[n,ne,e,se,s,sw,w,nw,o]).
composition(ne,w,[ne,n,nw]).
composition(ne,nw,[ne,n,nw]).
composition(ne,o,[ne]).

composition(e,n,[e,ne]).
composition(e,ne,[e,ne]).
composition(e,e,[e]).
composition(e,se,[e,se]).
composition(e,s,[e,se]).
composition(e,sw,[w,sw,s,se,e,o]).
composition(e,w,[e,o,w]).
composition(e,nw,[w,nw,n,ne,e,o]).
composition(e,o,[e]).

composition(se,n,[ne,e,se]).
composition(se,ne,[ne,e,se]).
composition(se,e,[se]).
composition(se,se,[se]).
composition(se,s,[se]).
composition(se,sw,[sw,s,se]).
composition(se,w,[sw,s,se]).
composition(se,nw,[n,ne,e,se,s,sw,w,nw,o]).
composition(se,o,[e]).

composition(s,n,[n,s,o]).
composition(s,ne,[n,ne,e,se,s,sw,w,nw,o]).
composition(s,e,[s,se]).
composition(s,se,[s,se]).
composition(s,s,[s]).
composition(s,sw,[sw,s]).
composition(s,w,[sw,s]).
composition(s,nw,[n,nw,w,sw,s,o]).
composition(s,o,[s]).


composition(sw,n,[sw,w,nw]).
composition(sw,ne,[n,ne,e,se,s,sw,w,nw,o]).
composition(sw,e,[sw,s,se]).
composition(sw,se,[sw,s,se]).
composition(sw,s,[sw]).
composition(sw,sw,[sw]).
composition(sw,w,[sw]).
composition(sw,nw,[nw,w,sw]).
composition(sw,o,[sw]).


composition(w,n,[w,nw]).
composition(w,ne,[w,nw,n,ne,e,o]).
composition(w,e,[e,o,w]).
composition(w,se,[w,sw,s,se,e,o]).
composition(w,s,[w,sw]).
composition(w,sw,[w,sw]).
composition(w,w,[w]).
composition(w,nw,[nw,w]).
composition(w,o,[w]).

composition(nw,n,[nw]).
composition(nw,ne,[nw,n,ne]).
composition(nw,e,[nw,n,ne]).
composition(nw,se,[n,ne,e,se,s,sw,w,nw,o]).
composition(nw,s,[nw,w,sw]).
composition(nw,sw,[nw,w,sw]).
composition(nw,w,[nw]).
composition(nw,nw,[nw]).
composition(nw,o,[nw]).

composition(o,n,[n,o]).
composition(o,ne,[n,ne,e,o]).
composition(o,e,[e,o]).
composition(o,se,[s,se,e,o]).
composition(o,s,[s,o]).
composition(o,sw,[w,sw,s]).
composition(o,w,[w,o]).
composition(o,nw,[w,nw,n,o]).
composition(o,o,[o]).

inv(n,s).
inv(ne,sw).
inv(e,w).
inv(se,nw).
inv(s,n).
inv(sw,ne).
inv(w,e).
inv(nw,se).
inv(o,o).

inv(fa,fa).
inv(ne,ne).
inv(ec,ec).
inv(po,po).
inv(tp,ti).
inv(ti,tp).
inv(np,ni).
inv(ni,np).
inv(eq,eq).

d2n(e,0).
d2n(ne,1).
d2n(n,2).
d2n(nw,3).
d2n(w,4).
d2n(sw,5).
d2n(s,6).
d2n(se,7).

/*main:- ctr(f,e,[nw]),ctr(e,b,[n]),ctd(b,c,3),ctr(b,c,[e]),ctr(e,d,[w]),ctr(f,d,[n,nw,ne]),ctr(b,a,[w]),
ctp(b,c,[near]),ctp(b,d,[ntpp,tpp]),ctp(f,b,[far]),ctd(a,b,4),ctd(b,f,20),ctd(a,d,5),ctd(d,e,2).*/

/*main:- ctr(a,b,[e]),ctr(b,c,[e]),ctd(a,b,3),ctd(b,c,4),ctd(a,c,16).*/


main:-ctr(f,e,[nw,ne,n]),ctr(e,b,[n]),ctr(b,c,[e]),ctr(b,a,[w]),ctr(e,d,[w]),
         ctr(f,d,[n,nw,ne]),ctp(b,c,[near]),ctp(b,d,[nr]),ctp(f,b,[far]),
        ctd(a,b,4),ctd(b,c,3),ctd(b,e,5),ctd(b,f,30),ctd(e,d,8),ctr(a,f,[ne]).