中药作用机理辅助解析系统的构建(3)
P8={distance(A,B,D,Y):#min{X:pict(A,B,_,X)}=Y,pict(A,B,D,Y),A!=B}
P9={length(Y):distance(C,B,X,Y,_)}
P10={backward(A,B,E,1):link(A,B,E),distance(_,B,_,_,_)}
P11={backward(A,B,F,M):link(A,B,F),backward(B,C,E,N),M=N+1,N (张百霞 骆四君 颜静 顾浩 罗计 张燕玲 陶欧 王耘)
P9={length(Y):distance(C,B,X,Y,_)}
P10={backward(A,B,E,1):link(A,B,E),distance(_,B,_,_,_)}
P11={backward(A,B,F,M):link(A,B,F),backward(B,C,E,N),M=N+1,N (张百霞 骆四君 颜静 顾浩 罗计 张燕玲 陶欧 王耘)