From a56db80cc0da41acdac829b9222684526ebd6b92 Mon Sep 17 00:00:00 2001 From: Amade Nemes Date: Tue, 30 Jan 2024 18:18:50 +0100 Subject: [PATCH] Add roads example. --- .../transform/meta-telingo/inputs/roads.lp | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 tests/asp/transform/meta-telingo/inputs/roads.lp diff --git a/tests/asp/transform/meta-telingo/inputs/roads.lp b/tests/asp/transform/meta-telingo/inputs/roads.lp new file mode 100644 index 0000000..3cc49e4 --- /dev/null +++ b/tests/asp/transform/meta-telingo/inputs/roads.lp @@ -0,0 +1,19 @@ +road(A,B) :- road(B,A). % roads are bidirectional +city(A) :- road(A,B). +car(1). car(2). +road(lisbon,madrid). road(madrid,paris). +road(boston,ny). road(ny,nj). + +wnext(at(X,A)) :- driveto(X,A). +driveto(X,B); no_driveto(X,B) :- at(X,A), road(A,B). +wnext(at(X,A)) :- at(X,A), not no_at(X,A). +no_at(X,A) :- at(X,B), A!=B, city(A). + +:- at(X,A), at(X,B), A!=B. + +% initial state +at(1,madrid) :- initial. +at(2,ny) :- initial. + +#show show. +#show show(at(X,Y)) : at(X,Y).