Założeniem wnioskowania jest pamięć. Polegając na luźnej podstawie ai slop, nie można prowadzić skutecznego wielowarstwowego wnioskowania.