Deklarative Programmiersprache auf Basis der Prädikatenlogik; der Programmierer definiert Fakten und Regeln, das System zieht Schlüsse.