a8778cd4b6
No support for negation or included theories. All tests pass. Issue: # Change-Id: I2a55d13a699ff497833a2fc72f116f8f217f5861
5 lines
74 B
Plaintext
5 lines
74 B
Plaintext
|
|
connected(x,y) :- link(x,y)
|
|
connected(x,y) :- link(x,z), connected(z,y)
|
|
|