funktionale Logikprogrammierung

Die Kombination von funktionalen und logischen Programmierungs-Paradigmen in einer einzelnen Sprache.