Examples of raw terms that can given in input to the type inference algorithm.




input: boca(G,zero | _,T,D).
output: G = [] T = proc(0, 0) D = []

input: boca(G,put pref zero,T,D).
output: G = [] T = proc(-1, 0) D = []

input: boca([a : amb(sqb(0,2))],spamb(a,2,_|_),T,D).
output: T = proc(0, 0) D = [0 leq 2, 2 leq 2, d(a)leq 0, 0 leq i(a)]



[Back]

Comments to: falzetta[at]di[dot]unito[dot]it Last update: February, 2005