Encoding reachability_decision.gringo

Name	reachability_decision.gringo
Class Tree	[Root] Unclassified (114) Reachability (5) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of Reachability. (No search needed)
Created	2009-03-12 20:44
Modified	2009-05-25 15:00
Languages	Gringo 2.0.2
Language Features
Compatible Instance Classes	Reachability ASP Contest 09 (Reachability)
Input Predicates	edge/2
Output Predicates	reaches/2
Encoding Parameter
Standalone	No
Tags	No Search (Martin Gebser)
Attributes
Content	#hide. #show reaches/2. reach :- query(S,E), edge(S,E). reaches(S,E) :- query(S,E), reach. reaches(S,B) :- query(S,E), edge(S,B), not reach. reaches(S,B) :- query(S,E), reaches(S,A), A != E, edge(A,B), not reach. :- query(S,E), not reaches(S,E).

Actions