... MQT SO PHU'ONG PHAPxlilYVONGl~PvaH~N, , A ~TRaNG QUA TRINHiroclU'Q'NG CAU TRUY VAN~, ,eOI VOl CHU'ONG TRINH DATAlOGLE MA-NH TH~H, TRUONG CONG TUANAbstract.Resolution ... evaluation forlogic programs with finite models. We present some search strategies and discuss a particular tabulationtechnique, SLG resolution, and a particular transformation technique, Magic ... giira cac phircng phap.88LE MANH THANH, TRUUNG CONG TUAN2. MQT SO D~NH NGHIAvAKHAI Nl~M CO·BANTrong phan nay gioi thi~u mot so dinh nghia va khai niernCO"ban, chi tiet day dd hon co...