Logische und funktionale Programmierung - Grundlagen einer Kombination