In contrast to pure logic languages, they support equation solving over nested functional expressions so that an equation like ys++ = is solved by instantiating ys to the list and e to the value 3.
Im Gegensatz zu rein logischen Sprachen unterstützen sie das Lösen von Gleichungen mit funktionalen Teilausdrücken, sodass ys ++   =   gelöst wird indem ys mit der Liste und e mit dem Wert 3 instantiiert wird.