attachment:reachability.core.asp.txt of EncodingsExamples - ASP Competition 2011

welcome:

location: attachment:reachability.core.asp.txt of EncodingsExamples

Attachment 'reachability.core.asp.txt'

   1 % define reachability
   2 reaches(X,Y) :- query(X,_), edge(X,Y).
   3 reaches(X,Y) :- reaches(X,Z), edge(Z,Y).
   4 
   5 % require query to be satisfied, otherwise no AS is given
   6 :- query(X,Y), not reaches(X,Y).

Attached Files

You are not allowed to attach a file to this page.