is2~is/2
is4~is/4
write~write/1
nl~nl/0
var~var/1
integer~integer/1
number~number/1
gtvar~@>/2
ltvar~@</2
gt~>/2
ge~>=/2
lt~</2
le~=</2
neqarithm~=\\=/2
neq~/=/2
nsame~\\==/2
same~==/2
univ~=../2
name~name/2
tell~tell/1
told~told/0
read~read/1
length~length/2
statistics~statistics/0
atom~atom/1
functor~functor/3
arg~arg/3
assert~assert/1
retract~retract/1
metacall~call/1
set~set/2
access~access/2
success~success/0
failure~failure/0
put~put/1
writeq~writeq/1
random_integer~random/1
