Two comments: 1. I don't see how this would ever fit on six slides. I mean, I see the slides but how useful/standalone are they, even if taken as basis for pre

Two comments: 1. I don't see how this would ever fit on six slides. I mean, I see the slides but how useful/standalone are they, even if taken as basis for presentation of that paper? 2. The author conflates Prolog with SLD resolution. There are other resolution schemes in prolog systems. SLD might be the one defined for the iso-prolog standard but it's not the same. XSB and SWI support tabling and then use different schemes (SLG) and are still prolog. (Edit: see Triska's comment for more on this. It seems we posted within seconds of each other)