SLD歸結法

1.給定一個目標句 G:  -: L1,!L2,...,!Li,...,!Ln
2.選定一個詞 Li
3.選擇一個子句 C: L -:  K1,...,Km 使得 Li 及 L 可以一致化，其一致子為 S。
4.將給定子句之尾 K1,...,Km 取代目標句之 Li 部份，並應用一致子 S，
   產生新目標句   G1: -: (L1,L2,...,K1,...,Km,...,Ln)S