Package-level declarations

Implementation of '=:='/2 predicate

Implementation of '>'/2 predicate

Implementation of '>='/2 predicate

Implementation of '<'/2 predicate

Implementation of '=<'/2 predicate

Implementation of '=\='/2 predicate

atom_concat(ab, cd, abcd).

Implementation of 'functor'/3 predicate

Implementation of primitive handling halt/0 behaviour

Implementation of 'is'/2 predicate

Implementation of '\='/2 predicate

Implements predicate sleep(+N) where N must be instantiated as an integer. The predicate execution always succeeds, unless the resolution process is halted because of a TimeOutException. Furthermore, the resolution of a sleep(N) sub-goal is guaranteed to require at least N milliseconds

Implementation of '@>'/2 predicate

Implementation of '@>='/2 predicate

Implementation of '=='/2 predicate

Implementation of '@<'/2 predicate

Implementation of '@=<'/2 predicate

Implementation of '\=='/2 predicate

Implementation of '=='/2 predicate

Implementation of '=='/2 predicate

Implementation of '='/2 predicate

Implementation of '=..'/2 predicate