... điểm X tới địa điểm Y.(X∀) (Y∀) ( T) ( Z) ( T) ( K) DIADIEM(X,T,Z) ^ DIADIEM(Y,H,K) ^ DUONGDI(Z,H)LOTRINH_DIADIEM_DIADIEM(X,Y,P,N)5) Nếu tồn tại đường đi từ địa điểm X đến địa chỉ ... X tới địa chỉ Y. (X∀) (Y∀) ( S) ( Z) ( T) ( K) DUONGDI(X,Y) ^ DIADIEM(X,T,K) ^ DIADIEM(_,Z,Y) LOTRINH_DIADIEM_DIACHI(K,[Z|Y],P,N)6) Nếu tồn tại đường đi từ đường xuất phát X đến ... X đến đường Y2 DUONGDITRUCTIEP(X,Y)Tồn tại đường đitrực tiếp từ đường X đến đường Y3 DIADIEM(X,Y,Z) Địa điểm X có địa chỉ Y nằm trên đườngZ.4 LOTRINH_DUONG_DIADIEM(X,Y,P,N) Lộ trình từ đường...