Encoding reachability_decision.bingo

Name	reachability_decision.bingo
Class Tree	[Root] Unclassified (114) Reachability (5) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Bingo encoding for Reachability. As Bingo is still a prototype, please make sure that it reads an instance before the encoding by calling: - Input from <instance> file: bingo <instance> reachability_decision.bingo - Instance from standard input: bingo - reachability_decision.bingo
Created	2009-05-13 07:49
Modified	2009-05-25 14:59
Languages	Bingo (alpha)
Language Features
Compatible Instance Classes	ASP Contest 09 (Reachability)
Input Predicates	edge/2 query/2
Output Predicates	reaches/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser) No Search (Martin Gebser)
Attributes
Content	#hide. #show reaches/2. reach :- query(S,E), edge(S,E). #complete reach/0. 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. #complete reaches/2. :- query(S,E), not reaches(S,E).

Actions