Ein Low-Level-Index für verteilte Logikprogrammierung