Encoding reach.dlv

Name	reach.dlv
Class Tree	[Root] Unclassified (114) Reachability (5) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Giorgio Terracina
Description	dlv encoding by Giorgio Terracina
Created	2009-03-30 13:03
Modified	2009-03-12 20:47
Languages	dlv
Language Features
Compatible Instance Classes	Reachability
Input Predicates	edge/2
Output Predicates	reachable/2
Encoding Parameter
Standalone	No
Tags
Attributes
Content	%% Author: Giorgio Terracina reachable(X,Y):-edge(X,Y). reachable(X,Y):-edge(X,Z),reachable(Z,Y). reachable(10380, 10189)?

Actions