congress/examples/recursion

5 lines
74 B
Plaintext

connected(x,y) :- link(x,y)
connected(x,y) :- link(x,z), connected(z,y)