Similarly to logic languages, functional logic languages provide search for solutions for existentially quantified variables.
Ähnlich wie logische Sprachen bieten funktionallogische Sprachen Lösungen für die Suche nach existentialquantifizierten Variablen.