有可能做成这样的东西吗?
--知识库--
linha( 5,[bobigny_pablo_picasso,bobigny_pantin_raymon_queneau,eglise_de_pantin,hoche,
porte_de_pantin,ourcq,laumiere,jaures,stalingrad,gare_du_nord,gare_de_l_est,
jacques_bonsergent,republique,oberkampf,richard_lenoir,breguet_sabin,bastille,
quai_de_la_rapee, gare_dausterlitz,saint_marcel,campo_formio,place_ditalie],
[10,2]).
route(71,[louis_blanc,jaures,bolivar,buttes_chaumont,botzaris,place_des_fetes,
pre_saint_gervais],
[10,2]).--知识库结束--
sameRoute(EI,NF):-
findall(Y,findall(Z,member(EI,route(Y,Z,_)),NumRout),NumRouteF),
append(NumRout,NumRouteF,NF).EI是一个站点,NF应该返回谓词路由的第一个参数--路由中的编号。
我做错了什么?
发布于 2015-01-08 18:34:47
从评论中可以看出,您需要通过给定的站点S的所有路线。
findall(R, (route(R, Stations, _), member(S, Stations)), Routes).目标是两个条件的结合:R是通过站点Stations列表的某个路由的数目,而给定的站点S是该列表的成员。
?- S = louis_blanc, findall(R, (route(R, Stations, _), member(S, Stations)), Routes).
S = louis_blanc,
Routes = [7, 71].https://stackoverflow.com/questions/27846672
复制相似问题