In contrast to purely functional languages where conditions are only evaluated to a Boolean value, functional logic languages support the solving of conditions by guessing values for the unknowns in the condition.
Spre deosebire de limbile pur funcționale în care condițiile sunt evaluate doar la o valoare booleană, limbile logice funcționale sprijină rezolvarea condițiilor prin ghicirea valorilor pentru necunoscute în condiție.