I For A=dre pig; gelinding prove with N1-M4 that LA INP, where HA method based on trith -table M2 - forwowd-inference chain applied to wesolution M3 method based on umsatistiability 40pts of Au? 3 M4 - methodl based on refutation > For the dimeeted graph a) write recursive programa (with predicotes path/z e dedge/2) to search for path an Grace Put edges b 1) path(x) in swiSH Prolog c) Draw the come sponding SLD tree for (o) up to the 3rd success leaf Centle extra calculations) d) Explain responses in b) to >>pathlax) in the context of the SLD tree from c) 30pts M. I For A=dre pig; gelinding prove with N1-M4 that LA INP, where HA method based on trith -table M2 - forwowd-inference chain applied to wesolution M3 method based on umsatistiability 40pts of Au? 3 M4 - methodl based on refutation > For the dimeeted graph a) write recursive programa (with predicotes path/z e dedge/2) to search for path an Grace Put edges b 1) path(x) in swiSH Prolog c) Draw the come sponding SLD tree for (o) up to the 3rd success leaf Centle extra calculations) d) Explain responses in b) to >>pathlax) in the context of the SLD tree from c) 30pts M