diff --git a/examples/hide-circular-dependency.lp b/examples/hide-circular-dependency.lp new file mode 100644 index 0000000..ff37945 --- /dev/null +++ b/examples/hide-circular-dependency.lp @@ -0,0 +1,10 @@ +a(X) :- circle1(X). + +circle1(X) :- circle2(X). +circle2(X) :- circle3(X). +circle3(X) :- circle1(X). + +#show a/1. +%#show circle1/1. +%#show circle2/1. +%#show circle3/1.