Source Range Restricted

Reachable nodes

answer(source) :-

answer(t’) :- answer(t), Ref(t,x,t’)

Nodes leading

to the source

answer(source) :-

answer(t) :- answer(t’), Ref(t,x,t’)

Previous slide

Next slide

Back to first slide

View graphic version