Einblick gewinnen in das logische Programmierparadigma