Representationen började med enprolog