This logic-functional programming language establish different determinism categories for predicate modes as explained in the ref.
Овај логички-функционални програмски језик успостављa различите категорије детерминизма за предикатни режим као што је објашњено у реф.