... thenao trong qua trlnh iroc hro'ngcau truy van,Djnh nghia4.1.1.M9t doi tu'o'ng cua m9tdfcheon trong quy tlte r diroc goi la buoc neu trong suot qua trinh iroc IU'q11gcau truy ... mot chien hro'c SIPM truy& apos;enngang cac tri buoc nhir trong Prolog.Xem qui titcp(X, Y)+ s(X, Z) /\ t(Z, Y).Cau truy van la?p(a,X), tuorig dirong voi truy vanhoa van ?pbf(a). ... d.u truy van st!·dung trong cacchtrorig trlnh logic. Bai bao t~p trung phan tich va so sanh hai phu'ong ph ap nh Srn ngan ch~n cac vong l~pvohan trong qua trlnh iro-c hro-ngcautruy...