This logic-functional programming language establish different determinism categories for predicate modes as explained in the ref.
Ця логіко-функціональна мова програмування, створює різні категорії для режими детермінізму, які є пояснені в реф.