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.
Spre deosebire de limbile logice pure, ele sprijină rezolvarea ecuațiilor peste expresiile funcționale imbricate, astfel încât o ecuație precum ys++ = este rezolvată prin instanțierea ys în listă și e la valoarea 3.