Logikbasis implementiert