Criojo Examples - maylencita/CRIOJO GitHub Wiki

Booleans

And

and(s,x,false,k) --> k(s,false)
and(s,false,x,k) --> k(s,false)
and(s,x,true,k) --> k(s,x)
and(s,true,x,k) --> k(s,x)

Or

or(s,x,false,k) --> k(s,x)
or(s,false,x,k) --> k(s,x)
or(s,x,true,k) --> k(s,true)
or(s,true,x,k) --> k(s,true)

Integers

n:= 0 | S(n)

add(s,x,y,k) --> Nu(z)(Res(s,x,y,z,k) & Add2(s,x,y,z))
Add2(s,0,y,z) --> Val(s,z,y)
Add2(s,S(x),y,z) --> Nu(z2)(Suc(z2,z) & Add2(s,x,y,z2))
(Val(s,z,v) & Suc(z,z2)) --> Val(s,z2,S(v))
(Res(s,x,y,z,k) & Val(s,z,v)) --> k(s,x,y,v)