Bind Variable unification
Assume: <year><month><region/></month></year>
Bind year to y, month to m and region to r.
bound[r=x](y)
would return all years that can be bound to y for the given region x.
Previous slide
Back to first slide
View graphic version